A compiler to implement LOTOS specifications in distributed environments.
Saved in:
| 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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 5116446 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A compiler to implement LOTOS specifications in distributed environments. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Yasumoto%2C+Keiichi%22">Yasumoto, Keiichi</searchLink><br /><searchLink fieldCode="AR" term="%22Higashino%2C+Teruo%22">Higashino, Teruo</searchLink><br /><searchLink fieldCode="AR" term="%22Kenichi+Taniguchi%22">Kenichi Taniguchi</searchLink> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Computer+Networks%22">Computer Networks</searchLink>. Jul2001, Vol. 36 Issue 2/3, p291. 20p. 3 Black and White Photographs, 6 Diagrams, 12 Charts. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=5116446 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/S1389-1286(01)00157-8 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 20 StartPage: 291 Subjects: – SubjectFull: LOTOS (Computer program language) Type: general – SubjectFull: Programming languages Type: general Titles: – TitleFull: A compiler to implement LOTOS specifications in distributed environments. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Yasumoto, Keiichi – PersonEntity: Name: NameFull: Higashino, Teruo – PersonEntity: Name: NameFull: Kenichi Taniguchi IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: Jul2001 Type: published Y: 2001 Identifiers: – Type: issn-print Value: 13891286 Numbering: – Type: volume Value: 36 – Type: issue Value: 2/3 Titles: – TitleFull: Computer Networks Type: main |
| ResultId | 1 |