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

MaRDI QIDQ2743713zbMATH OpenFDO

Authors Simon Mørk

Publication date 27 September 2001

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

embedded systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 2017342
• scientific article; zbMATH DE number 2080758
• scientific article; zbMATH DE number 2062238
• Towards a language for concurrent processes

Cited in

(8)

• A software platform for embedded systems
• Formal semantics of a VDM extension for distributed embedded systems
• scientific article; zbMATH DE number 1760147 (Why is no real title available?)
• Finite state machine modeling and its application in embedded design
• scientific article; zbMATH DE number 2062238 (Why is no real title available?)
• scientific article; zbMATH DE number 1692450 (Why is no real title available?)
• Towards translating embedded Curry to C
• F\# modules integration in distributed applications development process

Describes a project that uses

Uses Software

• PMC
• Esterel
• LOTOS

This page was built for publication: Distributed implementation of a process-algebra based programming language for embedded systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2743713)