Sciweavers

1724 search results - page 29 / 345
» Models for Concurrency
Sort
View
51
Voted
MFCS
1991
Springer
15 years 1 months ago
Models for Concurrency
Mogens Nielsen
55
Voted
POPL
1991
ACM
15 years 1 months ago
Modeling Concurrency with Geometry
Vaughan R. Pratt
APN
2008
Springer
14 years 11 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
52
Voted
COLING
1994
14 years 11 months ago
Concurrent Lexicalized Dependency Parsing: The ParseTalk Model
Norbert Bröker, Udo Hahn, Susanne Schacht
ICECCS
2010
IEEE
139views Hardware» more  ICECCS 2010»
14 years 10 months ago
Formal Modeling for UML/MARTE Concurrency Resources
Pablo Peñil, Hector Posadas, Eugenio Villar