scientific article; zbMATH DE number 1973127

MaRDI QIDQ4421728zbMATH OpenFDO

Authors Marek Bednarczyk, Andrzej M. Borzyszkowski

Publication date 1 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2128/21280346.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1497818
• Transition systems, link graphs and Petri nets
• scientific article; zbMATH DE number 1185853
• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• scientific article; zbMATH DE number 1302049

Cited in

(8)

• A denotational theory of synchronous reactive systems
• Time-reversal homotopical properties of concurrent systems
• Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1497818 (Why is no real title available?)
• scientific article; zbMATH DE number 7308363 (Why is no real title available?)
• Synthesizing reactive systems from hyperproperties
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

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