A Comprehensive Study of the Complexity of Multiparty Interaction.
Automated Proofs of Object Code for a Widely Used Microprocessor.
Local Management of a Global Resource in a Communication Network.
The Benefits of Relaxing Punctuality.
The Asymptotic Complexity of Merging Networks.
Tabled Evaluation With Delaying for General Logic Programs.