Sciweavers

2152 search results - page 9 / 431
» An Abstract Account of Composition
Sort
View
JETAI
2000
96views more  JETAI 2000»
15 years 1 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»
14 years 11 months ago
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van...