1
Devitt, Simon
2016
Table of Contents:
“...Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible...”2016
Full text
2
Dowek, Gilles.
2014
Table of Contents:
“...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting of Copatterns -- Proving Confluence of Term Rewriting...”2014
Full text
3
Jones, Cliff.
2014
Table of Contents:
“...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of Formal Methods: Some Obstacles and Some Possibilities? -- A Refinement...”2014
Full text
4
Table of Contents:
“...Process Semantics and Modal Transition Systems.-Â VAS and Pushdown Systems.-Â Pi Calculus and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models, Model Measure and Reversibility.-Â Stochastic...”
Full text
Full text
5
Liu, Zhiming.
2013
Table of Contents:
“...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability and Complexity -- Cruise Control in Hybrid Event-B -- From...”2013
Full text
6
Piterman, Nir.
2013
Table of Contents:
“... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus -- An Overview of the mCRL2 Toolset and Its Recent Advances -- Analysis of Boolean Programs -- Weighted Pushdown Systems...”2013
Full text