Executing transactions in zero-safe nets

DOI10.1007/3-540-44988-4_7MaRDI QIDQ2766553zbMATH OpenFDO

Authors Roberto Bruni, Ugo Montanari

Publication date 17 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44988-4_7

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 1973128
• Zero-safe nets: Comparing the collective and individual token approaches.
• scientific article; zbMATH DE number 1231592
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 5033884

Cited in

(7)

• Zero-safe nets: Comparing the collective and individual token approaches.
• Petri nets with name creation for transient secure association
• scientific article; zbMATH DE number 1231592 (Why is no real title available?)
• scientific article; zbMATH DE number 1973128 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Lectures on Concurrency and Petri Nets
• Non-interactive Mimblewimble transactions, revisited

This page was built for publication: Executing transactions in zero-safe nets

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