Algebraic models for contextual nets

DOI10.1007/3-540-45022-X_15MaRDI QIDQ2754142zbMATH OpenFDO

Authors Roberto Bruni, Vladimiro Sassone

Publication date 6 December 2001

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

Full work available at URL https://eprints.soton.ac.uk/261959/1/algModCtxICALPoff.pdf

Mathematics Subject Classification ID

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

Recommendations

• Two algebraic process semantics for contextual nets
• Algebraic theories for contextual pre-nets.
• scientific article; zbMATH DE number 1004345
• On the algebraic structure of Petri nets
• Functorial models for Petri nets

Cited in

(8)

• Models of Computation: A Tribute to Ugo Montanari’s Vision
• scientific article; zbMATH DE number 1337730 (Why is no real title available?)
• Two algebraic process semantics for contextual nets
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Unifying Petri nets with restricted occurrence rule using partial algebra
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Automated Deduction – CADE-20
• Algebraic theories for contextual pre-nets.

This page was built for publication: Algebraic models for contextual nets

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