Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
اقرأ المزيد
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
اقرأ المزيد
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
