Colored cause-effect structures

DOI10.1016/S0020-0190(98)00174-4zbMATH Open1339.68193MaRDI QIDQ293452FDOQ293452

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

Recommendations

• scientific article; zbMATH DE number 1522993
• Propositional description of finite cause-effect structures
• Extensions of elementary cause-effect structures
• Cause-effect structures
• scientific article; zbMATH DE number 1136655

zbMATH Keywords

concurrencyformal semanticsPetri netcause-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)

Cites Work

• Cause-effect structures
• Remarks on the equivalence of c-e structures and Petri nets
• Algebra of two-level cause-effect structures
• Title not available (Why is that?)

Cited In (2)

• Extensions of Elementary Cause-Effect Structures
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q293452)