Distributed implementation of a process-algebra based programming language for embedded systems

Authors:
Simon Mørk
Affiliations:
Department of Computer Science, Technical University of Denmark, Lyngby, Denmark
Venue:
Nordic Journal of Computing
Year:
2001

Citing 17
Cited 0

Communicating sequential processes

Communicating sequential processes
A protocol for generalized occam

Software—Practice & Experience
Communication and concurrency

Communication and concurrency
On the development of reactive systems

Logics and models of concurrent systems
A common compiler for LOTOS and SDL specifications

IBM Systems Journal
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A counter-example to an algorithm for the generalized input-output construct of CSP

Information Processing Letters
The transputer

ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Pict: a programming language based on the Pi-Calculus

Proof, language, and interaction
An Effective Implementation for the Generalized Input-Output Construct of CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)
ML with Concurrency

ML with Concurrency
An Asynchronous Algebra with Multiple Clocks

ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
From LOTOS to C

Proceedings of the First International Conference on Formal Description Techniques
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Theory of Timed Automata

Proceedings of the Real-Time: Theory in Practice, REX Workshop
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS

HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper deals with software development for a particular class of embedded systems. A timed programming language is presented that retains most of the abstract concepts of a process algebra, yet restricts the problems of constructing actual implementations on embedded system platforms.The implementation is given in terms of a translation from the PMC programming language to a model of implementation platforms, called Imp.