Specification Languages for Distributed Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-15198-2_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Comparative Study of Policy Specification Languages for Secure Distributed Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

Specification Styles in Distributed Systems Design and Verification

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Tool Supported Specification and Simulation of Distributed Systems

English

Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Design of a Suite of Visual Languages for Supply Chain Specification

2010English

Modular Supervisory Control With General Indecomposable Specification Languages

English

Run-Time Support for Distributed Sharing in Typed Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Specification Language for Distributed Components Implemented in GCM/ProActive

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy