Abstract | ||
---|---|---|
Temporal Language of Transitions (TLT) is a framework for the specification and verification of reactive control systems. Message Passing Interface (MPI) is a library for message-passing in a distributed environment. In this paper we present a compiler from TLT to the language C and the library MPI. The development of the compiler raised a number of interesting issues like the implementation of deadlock-free synchronous communication and the scheduling of guarded-commands. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-61042-1_59 | TACAS |
Keywords | Field | DocType |
assertional specification language,rapid prototyping,distributed environment,specification language,synchronous communication,message passing,message passing interface | Specification language,Rapid prototyping,Asynchronous communication,Programming language,Distributed Computing Environment,Scheduling (computing),Computer science,Compiler,Message Passing Interface,Reactive control | Conference |
ISBN | Citations | PageRank |
3-540-61042-1 | 1 | 0.38 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jorge Cuéllar | 1 | 43 | 6.74 |
Dieter Barnard | 2 | 18 | 2.62 |
Martin Huber | 3 | 21 | 7.49 |