Sciweavers

11066 search results - page 175 / 2214
» Linearity in Process Languages
Sort
View
APLAS
2006
ACM
15 years 8 months ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
83
Voted
IFIP
2004
Springer
15 years 7 months ago
Highly Undecidable Questions for Process Algebras
Petr Jancar, Jirí Srba