Sciweavers

1724 search results - page 29 / 345
» Models for Concurrency
Sort
View
MFCS
1991
Springer
15 years 6 months ago
Models for Concurrency
Mogens Nielsen
92
Voted
POPL
1991
ACM
15 years 6 months ago
Modeling Concurrency with Geometry
Vaughan R. Pratt
102
Voted
APN
2008
Springer
15 years 5 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»
15 years 3 months ago
Formal Modeling for UML/MARTE Concurrency Resources
Pablo Peñil, Hector Posadas, Eugenio Villar