Sciweavers

2152 search results - page 9 / 431
» An Abstract Account of Composition
Sort
View
159
Voted
EPEW
2010
Springer
15 years 8 months ago
Compositional Abstraction of PEPA Models for Transient Analysis
Michael J. A. Smith
JETAI
2000
96views more  JETAI 2000»
15 years 7 months ago
Abstraction and composition: a verification method for co-operating systems
Peter Ochsenschläger, Jürgen Repp, Rolan...
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 5 months ago
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van...