From Concurrent Multi-Clock Programs to Deterministic Asynchronous Implementations

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-415
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Modularity and Conventions for Maintainable Concurrent Language Implementations

2012English

Synthesis of Concurrent Programs

Teaching Mathematics and Computer Science
2015English

Using Triples to Reason About Concurrent Programs

1993English

On Sequentializing Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Managing Asynchronous Data in ATLAS's Concurrent Framework

2017English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Maxmin- $$\Omega $$ : A Simple Deterministic Asynchronous Cellular Automaton Scheme

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Concurrent Design Error Simulation for High-Level Microprocessor Implementations

English

A Dynamic Class Construct for Asynchronous Concurrent Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy