scientific article; zbMATH DE number 1973128

MaRDI QIDQ4421729zbMATH OpenFDO

Authors Roberto Bruni, Ugo Montanari

Publication date 1 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2128/21280380.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 1696451
• scientific article; zbMATH DE number 1231592
• Zero-safe nets: Comparing the collective and individual token approaches.
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 5033884

Cited in

(13)

• Dealing with zero-time transitions in axiom systems.
• Zero-safe nets: Comparing the collective and individual token approaches.
• scientific article; zbMATH DE number 1696451 (Why is no real title available?)
• On the Synthesis of Zero-Safe Nets
• Modeling dependencies and simultaneity in membrane system computations
• scientific article; zbMATH DE number 1231592 (Why is no real title available?)
• Concurrent models for Linda with transactions
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Towards a notion of transaction in graph rewriting
• Linear properties of zero-safe nets with debit tokens
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004
• Non-interactive Mimblewimble transactions, revisited

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