Lectures on Concurrency and Petri Nets
From MaRDI portal
Publication:5712297
DOI10.1007/B98282zbMath1088.68656OpenAlexW78026558MaRDI QIDQ5712297
Guy Edward Gallasch, Bing Han, Jonathan Billington
Publication date: 23 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98282
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
Related Items (4)
A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction ⋮ Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets ⋮ Parametric Language Analysis of the Class of Stop-and-Wait Protocols ⋮ Relating state-based and process-based concurrency through linear logic (full-version)
Uses Software
This page was built for publication: Lectures on Concurrency and Petri Nets
