Sciweavers

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