Amanote Research
Register
Sign In
Concurrent Abstract Machines
Lecture Notes in Computer Science
- Germany
doi 10.1007/3540539816_57
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 1991
Authors
G Berry
Publisher
Springer Berlin Heidelberg
Related search
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Interaction Abstract Machines
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
Environments and the Complexity of Abstract Machines
Adaptive and Concurrent Garbage Collection for Virtual Machines
Formal Verification of Programs for Abstract Register Machines
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
