Sciweavers

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