×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [process algebras]
Home >
process algebras
Real Time Systems
105 views
EChang-SystemsBiology
338 views
Final
554 views
Software Engineering Lab. 1 1 A Survey of Self-Management in Dynamic Software Architecture Specifications Jeremy S. Bradbury, James R. Cordy, Juergen Dingel,
216 views
1 Modelling Cell Signalling Pathways in PEPA Muffy Calder Department of Computing Science University of Glasgow Jane Hillston and Stephen Gilmore Laboratory.
216 views
Formal Methods for Service Composition Antonio Bucchiarone Monday, November 24 (joint work with: Maurice ter Beek and Stefania Gnesi (ISTI–CNR)
213 views
RFC Walters (with R. Rosebrugh, N. Sabadini) Università dell’ Insubria, Como, Italy CT2007, Faro, Portugal Calculating limits and colimits compositionally.
219 views
Non-standard Software Testing: from Process Algebras to Programmable Hardware. John Clark (Material drawing on talks and work with Susan Stepney, Jill.
216 views
PML: Toward a High-Level Formal Language for Biological Systems Bor-Yuh Evan Chang and Manu Sridharan July 24, 2003.
213 views
Unifying Theories Execution History Tony Hoare In honour of Manfred Broy 30 October 2009.
217 views
Programming Languages for Biology
23 views
Epistemic Strategies and Games on Concurrent Processes Prakash Panangaden: Oxford University (on leave from McGill University). Joint work with Sophia.
214 views
Next >