Sciweavers

10666 search results - page 241 / 2134
» Quantum programming languages
Sort
View
ICALP
1994
Springer
15 years 10 months ago
Equivalences for Fair Kripke Structures
Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert...
ECOOP
1989
Springer
15 years 10 months ago
A Class Hierarchy for Building Stream-Oriented File Systems
Peter Madany, Roy H. Campbell, Vincent F. Russo, D...
ICCL
1990
IEEE
15 years 10 months ago
Reliable Distributed Computing with Avalon/Common Lisp
Stewart M. Clamen, Linda D. Leibengood, Scott Nett...
POS
1990
Springer
15 years 10 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
POS
1990
Springer
15 years 10 months ago
Cache Coherency and Storage Management in a Persistent Object System
Bett Koch, Tracy Schunke, Alan Dearle, Francis Vau...