The following pages link to Massimo Merro (Q470041):
Displaying 36 items.
- A calculus of trustworthy ad hoc networks (Q470043) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- A semantic theory of the Internet of things (Q1706144) (← links)
- Aliasing models for mobile objects (Q1854530) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- Distributed consensus, revisited (Q2458442) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- (Q2851329) (← links)
- Semantic Analysis of Gossip Protocols for Wireless Sensor Networks (Q3090828) (← links)
- A Timed Calculus for Wireless Systems (Q3400923) (← links)
- Behavioral theory for mobile ambients (Q3455211) (← links)
- (Q4219055) (← links)
- (Q4223012) (← links)
- (Q4415245) (← links)
- (Q4417865) (← links)
- (Q4449205) (← links)
- (Q4484495) (← links)
- (Q4499201) (← links)
- (Q4508306) (← links)
- (Q4536438) (← links)
- (Q4553277) (← links)
- On asynchrony in name-passing calculi (Q4653019) (← links)
- (Q4673432) (← links)
- Weak Simulation Quasimetric in a Gossip Scenario (Q5082194) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Bisimulation congruences in safe ambients (Q5178899) (← links)
- On the decidability of linear bounded periodic cyber-physical systems (Q5239223) (← links)
- Modelling MAC-Layer Communications in Wireless Systems (Q5246724) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
- A Calculus of Cyber-Physical Systems (Q5738991) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900579) (← links)
