( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes

, и . LICS, стр. 176-185. IEEE Computer Society, (1998)

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.

Saskia Björn

Bolli Björnsson

Ulf Björner

Erik Björnemo

Gerhard Björnsen

 

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

Constraints as Processes., и . CONCUR, том 1119 из Lecture Notes in Computer Science, стр. 389-405. Springer, (1996)On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus., , , и . LICS, стр. 59-68. IEEE Computer Society, (2006)Calculi for Mobile Processes - Bibliography and Web Pages., и . Bulletin of the EATCS, (1998)The Mobility Workbench - A Tool for the pi-Calculus., и . CAV, том 818 из Lecture Notes in Computer Science, стр. 428-440. Springer, (1994)Solo Diagrams., , и . TACS, том 2215 из Lecture Notes in Computer Science, стр. 127-144. Springer, (2001)Solos in Concert., и . ICALP, том 1644 из Lecture Notes in Computer Science, стр. 513-523. Springer, (1999)The Tau-Laws of Fusion., и . CONCUR, том 1466 из Lecture Notes in Computer Science, стр. 99-114. Springer, (1998)Modelling Fusion Calculus using HD-Automata., , , , и . CALCO, том 3629 из Lecture Notes in Computer Science, стр. 142-156. Springer, (2005)A Fully Abstract Encoding of the pi-Calculus with Data Terms., , и . ICALP, том 3580 из Lecture Notes in Computer Science, стр. 1202-1213. Springer, (2005)The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, и . LICS, стр. 176-185. IEEE Computer Society, (1998)