Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dumitru Potop-Butucaru
From Concurrent Multi-Clock Programs to Deterministic Asynchronous Implementations
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Modularity and Conventions for Maintainable Concurrent Language Implementations
Synthesis of Concurrent Programs
Teaching Mathematics and Computer Science
Using Triples to Reason About Concurrent Programs
On Sequentializing Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Managing Asynchronous Data in ATLAS's Concurrent Framework
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Maxmin- $$\Omega $$ : A Simple Deterministic Asynchronous Cellular Automaton Scheme
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concurrent Design Error Simulation for High-Level Microprocessor Implementations
A Dynamic Class Construct for Asynchronous Concurrent Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
