PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tomlinson, Alexander I."

Author of the publication

copydeleteadd this publication to your clipboard
Expressing and detecting control flow properties of distributed computations.

, , , and . SPDP, page 432-438. IEEE, (1995)

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.

I. Steinwart

I. Dudic

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Cheng-I Ho University of Stuttgart

D. Inkermann

 

Other publications of authors with the same name

Detecting Relational Global Predicates in Distributed Systems., and . Workshop on Parallel and Distributed Debugging, page 21-31. ACM, (1993)Using the Causal Domain to Specify and verify Distributed Programs., and . Acta Inf., 34 (9): 667-686 (1997)On the Fly Testing of Regular Patterns in Distributed Computations., , , and . ICPP (2), page 73-76. CRC Press, (1994)Causality versus time: how to specify and verify distributed algorithms., and . SPDP, page 249-256. IEEE Computer Society, (1994)Monitoring Functions on Global States of Distributed Programs., and . J. Parallel Distrib. Comput., 41 (2): 173-189 (1997)Observation of Software for Distributed Systems with RCL., and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 195-209. Springer, (1995)Using Induction to Prove Properties of Distributed Programs., and . SPDP, page 478-485. IEEE Computer Society, (1993)Expressing and detecting control flow properties of distributed computations., , , and . SPDP, page 432-438. IEEE, (1995)