activity
20152024
most citedThe Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

14 citations · 35 across the 7 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018★ 3 cited

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

John P. Gallagher, Rob van Glabbeek, Wendelin Serwe

This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verific…