The following pages link to Cinzia Di Giusto (Q265820):
Displaying 19 items.
- A categorical theory of patches (Q265821) (← links)
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Guessing the buffer bound for k-synchronizability (Q2117668) (← links)
- On the \(k\)-synchronizability of systems (Q2200819) (← links)
- Multiparty half-duplex systems and synchronous communications (Q2683034) (← links)
- On the Expressive Power of Multiple Heads in CHR (Q2946654) (← links)
- Hunting Distributed Malware with the κ-Calculus (Q3088273) (← links)
- Activity Networks with Delays an Application to Toxicity Analysis (Q3174740) (← links)
- On the Expressiveness of Forwarding in Higher-Order Communication (Q3393405) (← links)
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence (Q3498448) (← links)
- On Recursion, Replication and Scope Mechanisms in Process Calculi (Q3525112) (← links)
- Expressiveness of Multiple Heads in CHR (Q3599074) (← links)
- Adaptable processes (Q4899113) (← links)
- Full Abstraction for Linda (Q5458387) (← links)
- Guessing the Buffer Bound for k-Synchronizability (Q6070755) (← links)
- (Q6134258) (← links)
- Spiking neural networks modelled as timed automata: with parameter learning (Q6151163) (← links)
- Weakly synchronous systems with three machines are Turing powerful (Q6623012) (← links)
- Towards generalised half-duplex systems (Q6649540) (← links)
