Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sebastian Burckhardt
Semantics of Concurrent Revisions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection
Related publications
Performance, Scalability, and Semantics of Concurrent FIFO Queues
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Labelled Semantics for Soft Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Concurrent and Compositional Petri Net Semantics of Preemption
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
ACM Transactions on Programming Languages and Systems
Software
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Revisions
Revisions
Recent Revisions of GNP
