Login / Signup
Gerjan Stokkink
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Database
Mathematical Foundations
Parallel Hardware
Multi Agent
Top Venues
MBT
</>
Publications
</>
Gerjan Stokkink
,
Mark Timmer
,
Mariëlle Stoelinga
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
MBT
(2012)