Sciweavers

8446 search results - page 176 / 1690
» A Process Compensation Language
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 12 months ago
Highly Undecidable Questions for Process Algebras
Petr Jancar, Jirí Srba