The following pages link to Mario Bravetti (Q347392):
Displaying 43 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Behavioural types for memory and method safety in a core object-oriented language (Q2038074) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Probabilistic software product lines (Q2329442) (← links)
- Undecidability of asynchronous session subtyping (Q2407107) (← links)
- Reduction semantics in Markovian process algebra (Q2413025) (← links)
- Quantitative information in the tuple space coordination model (Q2576948) (← links)
- (Q2703726) (← links)
- (Q2754193) (← links)
- (Q2842863) (← links)
- (Q2842864) (← links)
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (Q2864370) (← links)
- Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time (Q2870192) (← links)
- Contract Based Multi-party Service Composition (Q3508527) (← links)
- A ground-complete axiomatisation of finite-state processes in a generic process algebra (Q3545273) (← links)
- (Q3601412) (← links)
- On the expressive power of process interruption and compensation (Q3636911) (← links)
- A theory of contracts for strong service compliance (Q3636912) (← links)
- (Q4499198) (← links)
- A Petri Net Based Modeling of Active Objects and Futures (Q4643210) (← links)
- (Q4798039) (← links)
- (Q4798041) (← links)
- (Q4813207) (← links)
- Adaptable processes (Q4899113) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- YMCA (Q5262955) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Validation of Stochastic Systems (Q5325834) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494308) (← links)
- Coordination Models and Languages (Q5717742) (← links)
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963) (← links)
- (Q5856402) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897487) (← links)
- Foundations of Security Analysis and Design II (Q5901850) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
