Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Klaus-Dieter Schewe
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Related publications
Concurrent Abstract Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Interaction Abstract Machines
Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks With Abstract State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Finite State Machines
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
