The following pages link to Rocco De Nicola (Q384931):
Displaying 50 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- A process algebraic view of input/output automata (Q674195) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- (Q930881) (redirect page) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Extensional equivalences for transition systems (Q1098303) (← links)
- (Q1110337) (redirect page) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Basic observables for processes (Q1286368) (← links)
- (Q1348525) (redirect page) (← links)
- Testing equivalences for processes (Q1348526) (← links)
- Locality based semantics for process algebras (Q1357807) (← links)
- Nondeterministic regular expressions as solutions of equational systems. (Q1401324) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Testing equivalence for mobile processes (Q1898467) (← links)
- A symbolic semantics for the \(\pi\)-calculus (Q1917090) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← 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)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Confining data and processes in global computing applications (Q2432761) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- (Q2767185) (← links)
- Proof Techniques for Cryptographic Processes (Q2784489) (← links)
- Replicating Data for Better Performances in X10 (Q2796227) (← links)
- MarCaSPiS: a Markovian Extension of a Calculus for Services (Q2810685) (← links)
- On the Power of Attribute-Based Communication (Q2827459) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- (Q2848139) (← links)
- (Q2863915) (← links)
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q2892771) (← links)
- (Q3030238) (← links)
- (Q3358716) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- Ugo Montanari in a Nutshell (Q3507352) (← links)
- Tree-functors, determinacy and bisimulations (Q3564340) (← links)
- (Q3662610) (← links)
- (Q3666248) (← links)
- (Q3687696) (← links)
- Two complete axiom systems for a theory of communicating sequential processes (Q3694669) (← links)
- (Q3736899) (← links)
- (Q3774958) (← links)
- Three logics for branching bisimulation (Q4369871) (← links)
- (Q4413746) (← links)
