Paper Info
Title
Compositional Semantics of Non-Deterministic Synchronous Languages
Abstract
)F. Maraninchi and N. HalbwachsVERIMAG??, Miniparc -- ZIRST, F-38330 Montbonnotemail: fFlorence.Maraninchi---Nicolas.Halbwachsg@imag.frAbstract. A key feature of synchronous languages is that they conciliate concurrencywith determinism. This is achieved by detecting so-called causality errors[BG92, HM95, STB95], which occur when the composition of deterministic processesis not deterministic. Although the existing synchronous languages only dealwith deterministic programs, it is not ...
Year
DOI
Venue
1996
10.1007/3-540-61055-3_40
ESOP
Keywords
Field
DocType
non-deterministic synchronous languages,compositional semantics
Principle of compositionality,Equivalence relation,Operational semantics,Programming language,Determinism,Concurrency,Computer science,Language construct,Theoretical computer science,True quantified Boolean formula,Semantics
Conference
ISBN
Citations 
PageRank 
3-540-61055-3
13
1.03
References 
Authors
6
2
Name
Order
Citations
PageRank
Florence Maraninchi157153.43
Nicolas Halbwachs23957426.43