Author of the publication

Compositional Semantics for Real-time Distributed Computing.

, , , , and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 167-189. Springer, (1985)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compositional Semantics for Real-time Distributed Computing., , , , and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 167-189. Springer, (1985)Consensus analysis of systems with time-varying interactions : An event-triggered approach., , , and . CoRR, (2017)Remote Laboratories: For Real Time Access to Experiment Setups with Online Session Booking, Utilizing a Database and Online Interface with Live Streaming., , , , and . REV, 22, page 190-204. Springer, (2017)Aspect Oriented Sentiment Analysis on Customer Reviews on Restaurant Using the LDA and BERT Method., , , and . SN Comput. Sci., 4 (4): 399 (July 2023)Fair Derivations in E0L Systems., and . Inf. Process. Lett., 20 (4): 183-188 (1985)Compositional Semantics for Real-Time Distributed Computing, , , , and . Inf. Comput., 79 (3): 210-256 (December 1988)Remote Labs for Communications., , , , and . REV, volume 298 of Lecture Notes in Networks and Systems, page 47-54. Springer, (2021)Gramian matrix data collection-based random forest classification for predictive analytics with big data., and . Soft Comput., 23 (18): 8621-8631 (2019)A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization., , , and . EXPRESS/SOS, volume 120 of EPTCS, page 47-62. (2013)Decompiling Boolean Expressions from Java™ Bytecode., and . ISEC, page 59-69. ACM, (2016)