A stochastic non-deterministic temporal concurrent constraint calculus

We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that such an extension is needed to faithfully model concurrent systems in real-life situat...

Full description

Saved in:
Bibliographic Details
Published in:XXV International Conference of the Chilean Computer Science Society (SCCC'05) p. 7 pp.
Main Authors: Olarte, C., Rueda, C.
Format: Conference Proceeding
Language:English
Published: IEEE 2005
Subjects:
Biological system modeling
Biological systems
Calculus
Concurrent computing
Constraint theory
Logic programming
Probabilistic logic
Probability
Stochastic processes
Stochastic systems
ISBN:0769524915, 9780769524917
ISSN:1522-4902
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that such an extension is needed to faithfully model concurrent systems in real-life situations. We provide a suitable temporal logic and proof system for sntcc and illustrate how to use them for proving properties of stochastic systems. We argue that this modeling strategy of using explicit stochastic constructs within the calculus provides a "runnable specification" for a wide variety of stochastic systems that eases the task of formally reasoning about them. We give examples of specifications in sntcc and use the extended linear temporal logic for proving properties about them.
AbstractList We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that such an extension is needed to faithfully model concurrent systems in real-life situations. We provide a suitable temporal logic and proof system for sntcc and illustrate how to use them for proving properties of stochastic systems. We argue that this modeling strategy of using explicit stochastic constructs within the calculus provides a "runnable specification" for a wide variety of stochastic systems that eases the task of formally reasoning about them. We give examples of specifications in sntcc and use the extended linear temporal logic for proving properties about them.
Author Rueda, C.
Olarte, C.
Author_xml – sequence: 1
  givenname: C.
  surname: Olarte
  fullname: Olarte, C.
  organization: Dept. Ingenieria de Sistemas y Computacion, Pontificia Univ. Javeriana Cali, Colombia
– sequence: 2
  givenname: C.
  surname: Rueda
  fullname: Rueda, C.
  organization: Dept. Ingenieria de Sistemas y Computacion, Pontificia Univ. Javeriana Cali, Colombia
BookMark eNotj8tOwzAURC1RJJrCByA2-YGE61ccL6uIAlIlFmVfOfa1MMqjsp0Ff08LXc3RLI5mCrKa5gkJeaRQUwr6-dB1Xc0AZE1lq9qG35ACVKMlE5rKFVlTyVglNLA7UqT0DcCAabomu22Z8my_TMrBlmdr5TBjHMMU_pqM42mOZijtPNklRpzyBVOOJlzQDHYZlnRPbr0ZEj5cc0MOu5fP7q3af7y-d9t9FTTkSjHhhTGag1fO88ab89JeASrbUCtE47lyoKXDHgX0AlvZ904JZzV65HxDnv6tARGPpxhGE3-O18f8F2EtTlw
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/SCCC.2005.1587863
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 1587863
Genre orig-research
GroupedDBID 23M
29O
29R
6IE
6IF
6IH
6IK
6IL
6IM
6IN
AAJGR
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i90t-724f4aa930f7df36fa863b70e7c61c446f37d095debe40b4e85bbd74dc9efe33
IEDL.DBID RIE
ISBN 0769524915
9780769524917
ISSN 1522-4902
IngestDate Wed Aug 27 02:04:24 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-724f4aa930f7df36fa863b70e7c61c446f37d095debe40b4e85bbd74dc9efe33
ParticipantIDs ieee_primary_1587863
PublicationCentury 2000
PublicationDate 20050000
PublicationDateYYYYMMDD 2005-01-01
PublicationDate_xml – year: 2005
  text: 20050000
PublicationDecade 2000
PublicationTitle XXV International Conference of the Chilean Computer Science Society (SCCC'05)
PublicationTitleAbbrev SCCC
PublicationYear 2005
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0020291
ssj0000435344
Score 1.5654178
Snippet We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling...
SourceID ieee
SourceType Publisher
StartPage 7 pp.
SubjectTerms Biological system modeling
Biological systems
Calculus
Concurrent computing
Constraint theory
Logic programming
Probabilistic logic
Probability
Stochastic processes
Stochastic systems
Title A stochastic non-deterministic temporal concurrent constraint calculus
URI https://ieeexplore.ieee.org/document/1587863
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELVKxcBUoEV8KwMjpk7j-OIRRVQMqKpUhm6VP0WlqkX94PdzdtwiJBa2S5acbDnP7-x7j5AHDVXpEGipEpUJBMVThahHmXCeCR8gITYKv8FoVE2nctwij4deGOdcvHzmnkIYz_LtyuxCqayflxVUojgiRwCi6dU61FMY4n60jEhkiw1ko5WKZItLlii7LJFu5GVS3tk_QzruzJnsT-q6bkot6Wu_bFci6gw7_8v3lPR-2vey8QGYzkjLLc9JZ-_fkKXl3CXD5wy3fuZDBa3mbLlaUpsux0T15izJVi0y5Mym0XEK4SbaSmCoFqF2uOmRyfDlvX6lyVeBziXbUhhwz5WSBfNgfSG8whw1MAdG5AbpoS_A4s7L4vxyprmrSq0tcGuk864oLkgbM3KXJOMegk0wl7pAGuOEsg4ZCoDCn4jSoK9INwzK7LMRzpil8bj--_UNOYm6qLG-cUva2_XO3ZFj87Wdb9b3cba_ATmDpOQ
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED2VggRTgRbxTQZGQp3GieMRRVRFlKpSO3Sr_CkqoRb1g9_P2XGLkFjYLllysuU8v7PvPYB7yYrMINDGIi-UIyg2Foh6McmNJbl1kOAbhftsMCgmEz6swcOuF8YY4y-fmUcX-rN8vVAbVyprJ1nBijzdg_2M0g6purV2FRWCyO9NIwLdIh1eqaUi3aKcBNLOMyQcSRa0d7bPLBx4JoS3R2VZVsWW8L1fxised7qN_2V8DK2fBr5ouIOmE6iZ-Sk0tg4OUVjQTeg-Rbj5U-_CqTVH88U81uF6jNdvjoJw1UeErFlVSk4uXHljCQzFh6serlow6j6Py14cnBXiGSfrmHWopULwlFimbZpbgTlKRgxTeaKQINqUadx7aZxhSiQ1RSalZlQrbqxJ0zOoY0bmHCJqmTMKplymSGRMLrRBjsKYwN-IkExeQNMNyvSzks6YhvG4_Pv1HRz2xm_9af9l8HoFR14l1Vc7rqG-Xm7MDRyor_Vstbz1M_8NAgSoKw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=XXV+International+Conference+of+the+Chilean+Computer+Science+Society+%28SCCC%2705%29&rft.atitle=A+stochastic+non-deterministic+temporal+concurrent+constraint+calculus&rft.au=Olarte%2C+C.&rft.au=Rueda%2C+C.&rft.date=2005-01-01&rft.pub=IEEE&rft.isbn=9780769524917&rft.issn=1522-4902&rft.spage=7+pp.&rft_id=info:doi/10.1109%2FSCCC.2005.1587863&rft.externalDocID=1587863
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1522-4902&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1522-4902&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1522-4902&client=summon