Formalization of a software architecture for embedded systems: a process algebra for SPLICE
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An overview of D-I algebraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Architecture, software and complexityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A software architecture for distributed control systems and its transition system semanticsPublished by Association for Computing Machinery (ACM) ,1998
- On the semantics of μ LogFuture Generation Computer Systems, 1994
- Control systems softwareIEEE Transactions on Automatic Control, 1993
- Coordination languages and their significanceCommunications of the ACM, 1992
- Receptive process theoryActa Informatica, 1992
- The gamma model and its discipline of programmingScience of Computer Programming, 1990
- Mixed programming metaphors in a shared dataspace model of concurrencyIEEE Transactions on Software Engineering, 1990
- Linda in contextCommunications of the ACM, 1989