𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gentzen-type axiomatization for PAL

✍ Scribed by Igor Walukiewicz

Book ID
103683039
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
910 KB
Volume
118
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An axiomatic semantics for the synchrono
An axiomatic semantics for the synchronous language Gentzen
✍ Simone Tini πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 343 KB

We propose an axiomatic semantics for the synchronous language Gentzen, which is an instantiation of the paradigm Timed Concurrent Constraint Programming proposed by Saraswat, Jagadeesan and Gupta. We view Gentzen as a prototype of the class of state-oriented synchronous languages, since it offers t