( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The State Operator in Real Time Process Algebra.

, и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 107-123. Springer, (1991)

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.

André Baeten

Jos Göhler

Jos Heller

Jos Dibbets

Jos Gerwin

 

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

Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages., , и . J. ACM, 40 (3): 653-682 (1993)Partially-Supervised Plants: Embedding Control Requirements in Plant Components., , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 253-267. Springer, (2012)Computations and Interaction., , и . ICDCIT, том 6536 из Lecture Notes in Computer Science, стр. 35-54. Springer, (2011)Real Space Process Algebra., и . CONCUR, том 527 из Lecture Notes in Computer Science, стр. 96-110. Springer, (1991)The State Operator in Real Time Process Algebra., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 107-123. Springer, (1991)Axiomatizing GSOS with Termination., и . STACS, том 2285 из Lecture Notes in Computer Science, стр. 583-595. Springer, (2002)Preface., , и . Theor. Comput. Sci., 379 (3): 305 (2007)On the Consistency of Koomen's Fair Abstraction Rule., , и . Theor. Comput. Sci., (1987)Calculating with Automata.. Concurrency, Graphs and Models, том 5065 из Lecture Notes in Computer Science, стр. 747-756. Springer, (2008)Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination.. EXPRESS, том 39 из Electronic Notes in Theoretical Computer Science, стр. 3-20. Elsevier, (2000)