×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of mario-bravetti
Combining Partitions in SecSpaces
213 views
From Theoretical e-barter Models to an Implementation Based on Web Services
213 views
Stochastic and Real Time in Process Algebra: A Conceptual Overview
214 views
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
214 views
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
215 views
Service Oriented Computing: A New Challenge for Process Algebras
213 views
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time
212 views
Quantitative information in the tuple space coordination model
213 views
The theory of interactive generalized semi-Markov processes
220 views
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
212 views
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time
212 views
Revisiting Interactive Markov Chains
219 views
Service oriented computing from a process algebraic perspective
213 views
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
217 views