×

Behavior strutures and nets. (English) Zbl 0657.68068

Behavior structures integrate causality and branching. Nets of behavior structures provide a unifying approach to different net models of concurrency. The theory is illustrated with respect to nets over automata in particular with respect to Petri nets.

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25 Theory of operating systems
68Q65 Abstract data types; algebraic specification
PDFBibTeX XMLCite