ARC: A Specification Language for Communicating Systems

Computer Journal - United Kingdom
doi 10.1093/comjnl/41.6.386
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

A Functional-Test Specification Language.

English

A Visual Specification Language for Model-To-Model Transformations

2010English

Specification Languages for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series
2007English

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2016English

A Specification Language for Distributed Components Implemented in GCM/ProActive

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Framework for the Specification of Active Rule Language Semantics

1995English

The Specification Language of OBSCURE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

Parallel Communicating Grammar Systems

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy