Formal Description Techniques, IV
Latest Publications

TOTAL DOCUMENTS

50
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Elsevier

9780444894021
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tool Demonstration: Tools for Process Algebras

1992 ◽  
pp. 463-466 ◽  
Author(s):  
Eric Madelaine ◽  
Didier Vergamini
Keyword(s):  
Process Algebras

A LOTOS Based Calculus with True Concurrency Semantics

1992 ◽  
pp. 559-574
Author(s):  
Jean-Pierre Courtiat ◽  
Rosvelter João Coelho da Costa
Keyword(s):  
True Concurrency

Fairness in LOTOS

1992 ◽  
pp. 543-558
Author(s):  
Cheng Wu ◽  
Gregor v. Bochmann

Design and Implementation of an Application Interface for LOTOS Processors

1992 ◽  
pp. 345-360 ◽  
Author(s):  
Kazuhito Ohmaki ◽  
Hirosato Tsuji ◽  
Kenjiroh Yamanaka ◽  
Yoshikazu Sato ◽  
Yoshinori Itabashi ◽  
...  
Keyword(s):  
Design And Implementation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document