The following pages link to Roberto Gorrieri (Q199202):
Displaying 34 items.
- (Q3821598) (← links)
- (Q4018071) (← links)
- (Q4035233) (← links)
- (Q4035238) (← links)
- (Q4222913) (← links)
- (Q4330563) (← links)
- (Q4417888) (← links)
- (Q4490738) (← links)
- (Q4499198) (← links)
- (Q4499293) (← links)
- CCS(25,12) is Turing-complete (Q4601126) (← links)
- Distributed Logic Programming (Q4696741) (← links)
- (Q4762643) (← links)
- Unified specification and performance evaluation using stochastic process algebras (Q4788447) (← links)
- (Q4798029) (← links)
- (Q4813196) (← links)
- (Q4964000) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- A Study on Team Bisimulations for BPP Nets (Q5100755) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431294) (← links)
- Global Computing (Q5464840) (← links)
- Lectures on Concurrency and Petri Nets (Q5712299) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712327) (← links)
- Coordination Models and Languages (Q5717742) (← links)
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement (Q5738963) (← links)
- Foundations of Security Analysis and Design II (Q5901850) (← links)
- Foundations of Security Analysis and Design II (Q5901853) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902546) (← 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)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)
- (Q6168442) (← links)
