Sciweavers

10585 search results - page 89 / 2117
» The Orc Programming Language
Sort
View
ICALP
1993
Springer
15 years 7 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
77
Voted
IFIP
1993
Springer
15 years 7 months ago
What is a Deadlock?
Y. C. Tay
83
Voted
IFIP
1993
Springer
15 years 7 months ago
Uniform Co-Scheduling Using Object-Oriented Design Techniques
Nayeem Islam, Roy H. Campbell
83
Voted
IFIP
1993
Springer
15 years 7 months ago
Automatic Synthesis of Fast Compact Asynchronous Control Circuits
Al Davis, Bill Coates, Ken Stevens
100
Voted
IFIP
1993
Springer
15 years 7 months ago
Introduction and Overview
Bernard Levrat