×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [labeled transition system]
Home >
labeled transition system
Using software architecture for code testing - Software ...
1.365 views
Formal Methods in Testing Software Architectures
765 views
NKS06 - Washington DC - June 2006T. Bolognesi - Randomness in Process algebraic computations1 Detecting and measuring randomness in process-algebraic computations.
215 views
1 Timed CTL Model Checking Region Automata Kim Guldstrand Larsen Paul Pettersson BRICS@Aalborg UPPAAL T-shirt to (identifiable) download no 40.
226 views
Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11.
217 views
Optimisation of behaviour of component-based distributed systems
34 views
Weak Bisimilarity Coalgebraically Andrei Popescu Department of Computer Science University of Illinois.
212 views
Process Algebra C alculus of C ommunicating S ystems
35 views
Programming Paradigms for Concurrency
45 views
Programming Paradigms for Concurrency Lecture 12 Part III – Message Passing Concurrency TexPoint fonts used in EMF. Read the TexPoint manual before you.
225 views