scientific article; zbMATH DE number 4147491

MaRDI QIDQ3477943zbMATH OpenFDO

Authors Marisa Venturini Zilli

Publication date 1990

zbMATH Keywords

distributed communication protocolsnet algebraprocess algebra

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 3967922
• Process languages and nets
• Algebraic calculi of processes and net expressions
• Process algebras for network communication

Cited in

(6)

• Algebraic calculi of processes and net expressions
• An algebra of processes
• Structural and behavioural equivalences of networks
• Process algebras for network communication
• scientific article; zbMATH DE number 177839 (Why is no real title available?)
• scientific article; zbMATH DE number 1342161 (Why is no real title available?)

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 Q3477943)