[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1589 || Concurrency and Data Types: A Specification Method An Example with LOTOS
Fiadeiro, José LuizVolume:
10.1007/3-
Year:
1999
Language:
english
Pages:
17
DOI:
10.1007/3-540-48483-3_18
File:
PDF, 368 KB
english, 1999