The following pages link to Hernán Melgratti (Q2037952):
Displaying 36 items.
- Implementation correctness for replicated data types, categorically (Q2037954) (← links)
- Reversible occurrence nets and causal reversible prime event structures (Q2039888) (← links)
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- (Q2847777) (← links)
- Connector algebras for C/E and P/T nets' interactions (Q2848361) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Connector Algebras, Petri Nets, and BIP (Q3457970) (← links)
- Synchronous Multiparty Synchronizations and Transactions (Q3507358) (← links)
- Dynamic Graph Transformation Systems (Q3541962) (← links)
- Abstract Processes in Orchestration Languages (Q3617707) (← links)
- Non-sequential Behaviour of Dynamic Nets (Q3618701) (← links)
- (Q4553276) (← links)
- (Q4673433) (← links)
- (Q5019695) (← links)
- (Q5057639) (← links)
- Multiparty testing preorders (Q5060196) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5129942) (← links)
- (Q5129948) (← links)
- Concurrency and Probability (Q5145292) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- From Hierarchical BIP to Petri Calculus (Q5170743) (← links)
- (Q5207054) (← links)
- Theoretical foundations for compensations in flow composition languages (Q5276147) (← links)
- Behaviour, Interaction and Dynamics (Q5403078) (← links)
- Modelling Dynamic Software Architectures using Typed Graph Grammars (Q5403458) (← links)
- Resolving Non-determinism in Choreographies (Q5410716) (← links)
- Lectures on Concurrency and Petri Nets (Q5712298) (← links)
- cJoin: Join with communicating transactions (Q5740633) (← links)
- Event Structure Semantics for Nominal Calculi (Q5756598) (← links)
- Multiparty Testing Preorders (Q5857791) (← links)
- (Q5875678) (← links)
