( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.

, и . Fundam. Informaticae, 20 (1/2/3): 3-34 (1994)

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.

Richard Vink

Geraldine Vink

Gerhard Vink

Annemiek Vink

Nilgün Erikli

 

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

Bisimulation Semantics for Concurrency with Atomicity and Action Refinement., и . Fundam. Informaticae, 20 (1/2/3): 3-34 (1994)Comparative Metric Semantics for Commit in OR-Parallel Logic Programming., , и . ILPS, стр. 101-115. MIT Press, (1997)Delegation Modeling with Paradigm., , и . COORDINATION, том 3454 из Lecture Notes in Computer Science, стр. 94-108. Springer, (2005)On BAN Logics for Industrial Security Protocols., , и . CEEMAS, том 2296 из Lecture Notes in Computer Science, стр. 29-36. Springer, (2001)Axiomatizing GSOS with Termination., и . STACS, том 2285 из Lecture Notes in Computer Science, стр. 583-595. Springer, (2002)Asynchronous Rendez-vous in Distributed Logic Programming., и . REX Workshop, том 666 из Lecture Notes in Computer Science, стр. 174-203. Springer, (1992)In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition., , и . Trans. Computational Systems Biology, (2009)Restructuring Paradigm Models for the ToolBus Architecture: A Case Study., , и . MTCoord@COORDINATION, том 150 из Electronic Notes in Theoretical Computer Science, стр. 127-142. Elsevier, (2005)Extending Paradigm with Data., , и . It's All About Coordination, том 10865 из Lecture Notes in Computer Science, стр. 224-244. Springer, (2018)Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages, , и . ACCAT, том 93 из EPTCS, стр. 23-43. (2012)