( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fully abstract models for a process language with refinement.

, , и . REX Workshop, том 354 из Lecture Notes in Computer Science, стр. 523-548. Springer, (1988)

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.

Uffe Hansen

Gerald Engberg

Norbert Engberg

Holger L Engberg

Margitta Uffelmann

 

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

Efficient Simplification of Bisimulation Formulas., и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 111-132. Springer, (1995)Petri Nets as Models of Linear Logic., и . CAAP, том 431 из Lecture Notes in Computer Science, стр. 147-161. Springer, (1990)Completeness Results for Linear Logic on Petri Nets., и . MFCS, том 711 из Lecture Notes in Computer Science, стр. 442-452. Springer, (1993)A calculus of communicating systems with label passing - ten years after., и . Proof, Language, and Interaction, стр. 599-622. The MIT Press, (2000)Failures Semantics for a Simple Process Language with Refinement., и . FSTTCS, том 560 из Lecture Notes in Computer Science, стр. 89-108. Springer, (1991)Linear Logic on Petri Nets., и . REX School/Symposium, том 803 из Lecture Notes in Computer Science, стр. 176-229. Springer, (1993)Fully abstract models for a process language with refinement., , и . REX Workshop, том 354 из Lecture Notes in Computer Science, стр. 523-548. Springer, (1988)