2018 18th International Conference on Application of Concurrency to System Design (ACSD)
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By IEEE

9781538670132
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Team Coordination Based on Causal Nets with Synchronous Channels

2018 ◽  
Author(s):  
Dennis Schmitz ◽  
Daniel Moldt ◽  
Michael Haustermann ◽  
David Mosteller ◽  
Christian Roder
Keyword(s):  
Team Coordination

Complexity of Reachability for Data-Aware Dynamic Systems

2018 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
C. Aiswarya ◽  
Mohamed Faouzi Atig ◽  
Marco Montali ◽  
Othmane Rezine
Keyword(s):  
Dynamic Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document