Non-standard Software Testing: from Process Algebras to Programmable Hardware.
C. Varela1 Chapter 4: Actors Programming Distributed Computing Systems: A Foundational Approach Carlos Varela Rensselaer Polytechnic Institute.
1 Non-interference Properties for Probabilistic Processes A Process Algebraic Approach Alessandro Aldini joint work with Mario Bravetti and Roberto Gorrieri.
Alternating Temporal Logic and Game-Based Properties CS 259 John Mitchell with slides from Vitaly Shmatikov.
PML: Toward a High-Level Formal Language for Biological Systems
Challenges in Service Modeling, Composition, and Analysis
Choreography Revisited
Unifying Theories Execution History Tony Hoare In honour of Manfred Broy 30 October 2009.