scientific article
From MaRDI portal
Publication:2761739
zbMATH Open0976.68549MaRDI QIDQ2761739
Publication date: 7 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2001/20010445
Title of this publication is not available (Why is that?)
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Proof-theoretic foundations for the design of actor systems ⋮ Modeling Actor Systems Using Dynamic I/O Automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761739)
