Bibliographic Details
| Title: |
A compiler to implement LOTOS specifications in distributed environments. |
| Authors: |
Yasumoto, Keiichi, Higashino, Teruo, Kenichi Taniguchi |
| Source: |
Computer Networks. Jul2001, Vol. 36 Issue 2/3, p291. 20p. 3 Black and White Photographs, 6 Diagrams, 12 Charts. |
| Subjects: |
LOTOS (Computer program language), Programming languages |
| Abstract: |
Proposes a method for implementing distributed systems using the formal description language LOTOS. Definition of a subclass of LOTOS for distributed systems; Implementation techniques for the interaction and internal behavior among nodes; Applications and evaluation of the compiler. |
| Database: |
Engineering Source |
