Using software architecture for code testing - Software ...
Formal Methods in Testing Software Architectures
NKS06 - Washington DC - June 2006T. Bolognesi - Randomness in Process algebraic computations1 Detecting and measuring randomness in process-algebraic computations.
1 Timed CTL Model Checking Region Automata Kim Guldstrand Larsen Paul Pettersson BRICS@Aalborg UPPAAL T-shirt to (identifiable) download no 40.
Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 11.
Programming Paradigms for Concurrency Lecture 12 Part III – Message Passing Concurrency TexPoint fonts used in EMF. Read the TexPoint manual before you.
Optimisation of behaviour of component-based distributed systems
Weak Bisimilarity Coalgebraically Andrei Popescu Department of Computer Science University of Illinois.
Process Algebra C alculus of C ommunicating S ystems
Programming Paradigms for Concurrency