×

Found 5 Documents (Results 1–5)

Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with process algebra. (English) Zbl 1143.68475

Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 757-777 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Behavioural equivalence for infinite systems – partially decidable! (English) Zbl 1418.68154

Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 460-479 (1996).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field