Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Christopher Lippert"'
Publikováno v:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy ISBN: 9783030311742
The Art of Modelling Computational Systems
The Art of Modelling Computational Systems
We analyse two translations from the synchronous into the asynchronous \(\pi \)-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous \(\pi \)-calculus is just as expressive as the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ec43653d01d22f594d737c157138e30
https://doi.org/10.1007/978-3-030-31175-9_11
https://doi.org/10.1007/978-3-030-31175-9_11
Autor:
Adam Christopher Lippert
Algernon Bay is the owner of a small art gallery on Chicago’s north side. And “Clarity” begins the day after Alge has acquired a very unique and special painting. It is the day of his inaugural ritual, which he hopes can recalibrate his life. A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00005af1043b22fb214970d1b88b7f3c
https://doi.org/10.18297/etd/2373
https://doi.org/10.18297/etd/2373