From post

An Approach to the Specification of Distributed Software.

, , и . The Use of Formal Specification of Software, том 36 из Informatik-Fachberichte, стр. 197-236. Springer, (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

SOSAM for hidden nodes or an efficient collision-free access-protocol for stationary radio networks with less-than-full connectivity., и . ICDCS, стр. 748-754. IEEE Computer Society, (1982)Measurement and Analysis of HYPERchannel Networks., и . IEEE Trans. Computers, 33 (3): 249-260 (1984)Issues and Approaches to Distributed Testbed Instrumentation., , и . Computer, 15 (10): 71-81 (1982)Hyperchannel Local Network Interconnection Through Satellite Links., и . Computer, 17 (5): 30-39 (1984)JOYCE: A next generation personal computer.. SIGSMALL, стр. 108-113. ACM, (1980)The suitability of a very high level language (SETL) for simulation structuring and control., и . Symposium on Programming, том 19 из Lecture Notes in Computer Science, стр. 156-169. Springer, (1974)Geographic extension of HIPPI channels via high speed SONET., и . IEEE Netw., 8 (3): 42-53 (1994)A flow oriented computer system simulation language.. ACM Annual Conference, стр. 578-595. ACM, (1971)On Performance Studies of Processor Oriented Cache Configurations., , , и . Modelle für Rechensysteme, том 9 из Informatik-Fachberichte, стр. 134-146. Springer, (1977)FDDI network architectures, performance and futures., и . LCN, стр. 343-345. IEEE Computer Society, (1991)