Semantics of Concurrent Revisions

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-19718-5_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Performance, Scalability, and Semantics of Concurrent FIFO Queues

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Labelled Semantics for Soft Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Concurrent and Compositional Petri Net Semantics of Preemption

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules

2010English

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems

ACM Transactions on Programming Languages and Systems
Software
1993English

How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Revisions

2019English

Revisions

2020English

Recent Revisions of GNP

1981English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy