Sciweavers

7099 search results - page 47 / 1420
» Context for models of concurrency
Sort
View
MFCS
1991
Springer
14 years 1 months ago
Models for Concurrency
Mogens Nielsen
APN
2008
Springer
13 years 12 months ago
Modelling Concurrency with Quotient Monoids
Four quotient monoids over step sequences and one with compound generators are introduced and discussed. They all can be regarded as extensions (of various degrees) of Mazurkiewicz...
Ryszard Janicki, Dai Tri Man Le
ICECCS
2010
IEEE
139views Hardware» more  ICECCS 2010»
13 years 10 months ago
Formal Modeling for UML/MARTE Concurrency Resources
Pablo Peñil, Hector Posadas, Eugenio Villar