An introduction to metric semantics: operational and denotational models for programming and specification languages
F van Breugel - Theoretical Computer Science, 2001 - Elsevier
Our focus is on the semantics of programming and specification languages. Over the years,
different approaches to give semantics to these languages have been put forward. We …
different approaches to give semantics to these languages have been put forward. We …
On synchronous and asynchronous communication paradigms
The π-calculus, its asynchronous version and Boudol's mapping from the former language to
the latter one are well-known mathematical objects in theoretical computer science. It is also …
the latter one are well-known mathematical objects in theoretical computer science. It is also …
On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems
C Röckl - 2001 - mediatum.ub.tum.de
The growing influence of telecommunication-systems in all areas has brought with it the
need for elaborate and reliable software running on concurrent and, in particular …
need for elaborate and reliable software running on concurrent and, in particular …
Divergence in testing and readiness semantics
Many variants of must-testing semantics have been put forward that are equally sensitive to
deadlock, but differ for the stress they put on divergence, ie on the possibility for systems of …
deadlock, but differ for the stress they put on divergence, ie on the possibility for systems of …