A model for real-time process algebras (extended abstract)

Author(s):  
Liang Chen
2006 ◽  
Vol 162 ◽  
pp. 221-226 ◽  
Author(s):  
Insup Lee ◽  
Anna Philippou ◽  
Oleg Sokolsky

2016 ◽  
Vol 26 (4) ◽  
pp. 257-266
Author(s):  
Tomas Björkqvist ◽  
Olli Suominen ◽  
Matti Vilkko ◽  
Mikko Korpi

Author(s):  
Peter Sagmeister ◽  
René Lebl ◽  
Ismael Castillo ◽  
Jakob Rehrl ◽  
Julia Kruisz ◽  
...  

2021 ◽  
Author(s):  
Peter Sagmeister ◽  
René Lebl ◽  
Ismael Castillo ◽  
Jakob Rehrl ◽  
Julia Kruisz ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document