Colored cause-effect structures

DOI10.1016/S0020-0190(98)00174-4zbMath1339.68193MaRDI QIDQ293452

A. P. Ustimenko

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098001744?np=y

zbMATH Keywords

formal semanticsPetri netconcurrencycause-effect structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Extensions of Elementary Cause-Effect Structures

Cites Work

• Unnamed Item
• Cause-effect structures
• Remarks on the equivalence of c-e structures and Petri nets
• Algebra of two-level cause-effect structures

This page was built for publication: Colored cause-effect structures