Mario Bravetti

Available identifiers

zbMath Open bravetti.marioMaRDI QIDQ347392

List of research outcomes

Publication	Date of Publication	Type
A Sound Algorithm for Asynchronous Session Subtyping	2023-02-03	Paper
Fair refinement for asynchronous session types	2021-10-18	Paper
Behavioural types for memory and method safety in a core object-oriented language	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5856402	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5856424	2021-03-26	Paper
Process calculi as a tool for studying coordination, contracts and session types	2020-04-15	Paper
Probabilistic software product lines	2019-10-17	Paper
A Petri Net Based Modeling of Active Objects and Futures	2018-05-24	Paper
Reduction semantics in Markovian process algebra	2018-04-06	Paper
On the boundary between decidability and undecidability of asynchronous session subtyping	2018-03-12	Paper
Undecidability of asynchronous session subtyping	2017-09-28	Paper
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement	2017-06-13	Paper
Dynamic rebinding for concurrent object groups: theory and practice	2016-11-30	Paper
A Generic Process Algebra	2015-07-10	Paper
YMCA	2015-07-10	Paper
Stochastic and Real Time in Process Algebra: A Conceptual Overview	2015-07-10	Paper
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time	2014-01-17	Paper
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2842863	2013-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q2842864	2013-08-16	Paper
Adaptable processes	2013-01-07	Paper
Validation of Stochastic Systems	2009-07-24	Paper
On the expressive power of process interruption and compensation	2009-06-30	Paper
A theory of contracts for strong service compliance	2009-06-30	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q3601412	2009-02-10	Paper
A ground-complete axiomatisation of finite-state processes in a generic process algebra	2008-12-10	Paper
Contract Based Multi-party Service Composition	2008-07-01	Paper
Service oriented computing from a process algebraic perspective	2007-01-09	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
Coordination Models and Languages	2006-01-10	Paper
Quantitative information in the tuple space coordination model	2005-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q4813207	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4798039	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4798041	2003-03-18	Paper
Performance measure sensitive congruences for Markovian process algebras	2003-01-21	Paper
Discrete time generative-reactive probabilistic processes with different advancing speeds	2003-01-21	Paper
The theory of interactive generalized semi-Markov processes	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2754193	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2703726	2001-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q4499198	2001-03-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mario Bravetti