Sciweavers

10585 search results - page 89 / 2117
» The Orc Programming Language
Sort
View
ICALP
1993
Springer
15 years 6 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
IFIP
1993
Springer
15 years 6 months ago
What is a Deadlock?
Y. C. Tay
IFIP
1993
Springer
15 years 6 months ago
Automatic Synthesis of Fast Compact Asynchronous Control Circuits
Al Davis, Bill Coates, Ken Stevens
IFIP
1993
Springer
15 years 6 months ago
Introduction and Overview
Bernard Levrat