×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [process algebras]
Home >
process algebras
Non-standard Software Testing: from Process Algebras to Programmable Hardware.
30 views
C. Varela1 Chapter 4: Actors Programming Distributed Computing Systems: A Foundational Approach Carlos Varela Rensselaer Polytechnic Institute.
219 views
Alternating Temporal Logic and Game-Based Properties CS 259 John Mitchell with slides from Vitaly Shmatikov.
215 views
PML: Toward a High-Level Formal Language for Biological Systems
24 views
Challenges in Service Modeling, Composition, and Analysis
60 views
Choreography Revisited
40 views
1 Non-interference Properties for Probabilistic Processes A Process Algebraic Approach Alessandro Aldini joint work with Mario Bravetti and Roberto Gorrieri.
214 views
Chapter 4: Actors
19 views
PML: Toward a High-Level Formal Language for Biological Systems
24 views
< Previous