Sciweavers

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