Sciweavers

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