×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [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
1 Non-interference Properties for Probabilistic Processes A Process Algebraic Approach Alessandro Aldini joint work with Mario Bravetti and Roberto Gorrieri
214 views
Alternating Temporal Logic and Game-Based Properties CS 259 John Mitchell with slides from Vitaly Shmatikov
216 views
PML: Toward a High-Level Formal Language for Biological Systems
24 views
Challenges in Service Modeling, Composition, and Analysis
61 views
Choreography Revisited
40 views
PML: Toward a High-Level Formal Language for Biological Systems
25 views
Unifying Theories Execution History Tony Hoare In honour of Manfred Broy 30 October 2009
220 views
< Prev