An Algebra of Regular Macronets for Formal Specification of Communication Protocols.

For the most recent entries see the Petri Nets Newsletter.

In: Computers and Artificial Intelligence, Vol. 10, No. 6, pages 541-560. 1991.

Keywords: protocols, compositionality, macroplace, macronets, disruption.

Do you need a refined search? Try our search engine which allows complex field-based queries.