The following pages link to Flavio Corradini (Q236445):
Displaying 50 items.
- (Q198019) (redirect page) (← links)
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- Performance preorder and competitive equivalence (Q678252) (← links)
- Performance of pipelined asynchronous systems (Q864507) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Liveness of a mutex algorithm in a fair process algebra (Q1015393) (← links)
- On the coarsest congruence within global-clock-bounded equivalence (Q1129264) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Locality based semantics for process algebras (Q1357807) (← links)
- Comparing the worst-case efficiency of asynchronous systems with PAFAS (Q1403331) (← links)
- Measuring the performance of asynchronous systems with PAFAS (Q1781997) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- Static analysis of real-time component-based systems configurations (Q1870849) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations (Q1996863) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- Fairness of components in system computations (Q2491632) (← links)
- Fairness of actions in system computations (Q2502272) (← links)
- On relating functional specifications to architectural specifications: A case study (Q2581539) (← links)
- (Q2848134) (← links)
- (Q2852065) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Fair Π (Q2866341) (← links)
- Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue (Q2870297) (← links)
- (Q3384914) (← links)
- (Q3394898) (← links)
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (Q3507384) (← links)
- A characterization of regular expressions under bisimulation (Q3546331) (← links)
- Performance preorder: Ordering processes with respect to speed (Q3569033) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- Explicit fairness in testing semantics (Q3636814) (← links)
- (Q4222914) (← links)
- (Q4222915) (← links)
- (Q4448369) (← links)
- (Q4458491) (← links)
- The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components. (Q4461216) (← links)
- (Q4501684) (← links)
- An Equational Axiomatization of Bisimulation over Regular Expressions (Q4542240) (← links)
- (Q4621138) (← links)
- Distribution and locality of concurrent systems (Q4632423) (← links)
- (Q4896948) (← links)
- The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes (Q4917026) (← links)
- Bone Remodelling: A Complex Automata-Based Model Running in BioShape (Q4931196) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- (Q4964718) (← links)
- (Q4965857) (← links)
- (Q5129950) (← links)
- Model Checking Biological Oscillators (Q5404073) (← links)
- Bone Remodelling in BioShape (Q5404084) (← links)
