An Axiomatic Semantics for the Synchronous Language Gentzen.

Authors :: Goos, Gerhard
Hartmanis, Juris
van Leeuwen, Jan
Honsell, Furio
Miculan, Marino
Tini, Simone
Source :: Foundations of Software Science & Computation Structures (978-3-540-41864-1); 2001, p394-408, 15p
Publication Year :: 2001
Abstract: We propose an axiomatic semantics for the synchronous language Gentzen, which is an instantiation of the paradigm Timed Concurrent Constraint Programming. We view Gentzen as a prototype of the class of state-oriented synchronous languages, since it offers the basic constructs that are shared by the languages in the class. Since synchronous concurrency cannot be simulated by arbitrary interleaving, we cannot exploit "head normal forms", on which axiomatic theories for asynchronous process calculi are based. [ABSTRACT FROM AUTHOR]

Language :: English
ISBNs :: 9783540418641
Database :: Supplemental Index
Journal :: Foundations of Software Science & Computation Structures (978-3-540-41864-1)
Publication Type :: Book
Accession number :: 33879772
Full Text :: https://doi.org/10.1007/3-540-45315-6_26