The following pages link to Marco Bernardo (Q199201):
Displaying 49 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
- Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet (Q1295865) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- On the usability of process algebra: An architectural view (Q1781999) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism (Q2056980) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time (Q2703726) (← links)
- (Q2729045) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- Modal logic characterization of Markovian testing and trace equivalences (Q2863904) (← links)
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q2892771) (← links)
- A Survey of Markovian Behavioral Equivalences (Q3084590) (← links)
- A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference (Q3184710) (← links)
- (Q3394898) (← links)
- Towards State Space Reduction Based on T-Lumpability-Consistent Relations (Q3543307) (← links)
- (Q4411089) (← links)
- (Q4536610) (← links)
- An algebra-based method to associate rewards with EMPA terms (Q4571967) (← links)
- On the discriminating power of passivation and higher-order interaction (Q4635597) (← links)
- (Q4738172) (← links)
- (Q4738316) (← links)
- Integrating TwoTowers and GreatSPN through a compact net semantics (Q4788445) (← links)
- (Q4798039) (← links)
- (Q4992526) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5151010) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
- Symbolic semantic rules for producing compact STGLAs from value passing process descriptions (Q5277704) (← links)
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q5404482) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)
- (Q5858729) (← links)
- The discrete Painlevé I equations: transcendental integrability and asymptotic solutions. (Q5890283) (← links)
- Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time'' (Q5941736) (← links)
- Extended Markovian Process Algebra (Q6104380) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
