Two algebraic process semantics for contextual nets

DOI10.1007/3-540-45541-8_13MaRDI QIDQ4421730zbMATH OpenFDO

Authors Roberto Bruni, Vladimiro Sassone

Publication date 1 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2128/21280427.htm, https://eprints.soton.ac.uk/261826/1/ctxBookoff.pdf

Mathematics Subject Classification ID

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

Recommendations

• Algebraic models for contextual nets
• scientific article; zbMATH DE number 3980501
• Process semantics of Petri nets over partial algebra
• Non sequential semantics for contextual P/T nets
• scientific article; zbMATH DE number 1337730

Cited in

(9)

• Contextual Petri nets, asymmetric event structures, and processes
• Algebraic models for contextual nets
• Axioms for contextual net processes
• scientific article; zbMATH DE number 1337730 (Why is no real title available?)
• scientific article; zbMATH DE number 2064462 (Why is no real title available?)
• Non sequential semantics for contextual P/T nets
• GETGRATS: a summary of scientific results (with annotated bibliography)
• An algebraic semantics for hierarchical P/T nets
• Algebraic theories for contextual pre-nets.

This page was built for publication: Two algebraic process semantics for contextual nets

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