Bisimulations for a calculus of broadcasting systems

An Observational Theory for Mobile Ad Hoc Networks

Electronic Notes in Theoretical Computer Science (ENTCS)

A synchronous π-calculus

Information and Computation

Tree Process Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

An Observational Theory for Mobile Ad Hoc Networks (full version)

Information and Computation

Secure Broadcast Ambients

Formal Aspects in Security and Trust

Agent-oriented requirements analysis from scenarios

KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications