( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Observational equivalences for concurrency models.

, , и . Formal Description of Programming Concepts, стр. 105-134. North-Holland, (1987)

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.

Peter Degano

Pierpaolo Cincilla

 

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

Toward an Inductionless Technique for Proving Properties of Logic Programs., , и . ICLP, стр. 175-181. ADDP-GIA, (1982)Expressive Models for Synaptic Plasticity., , , и . CMSB, том 4695 из Lecture Notes in Computer Science, стр. 152-167. Springer, (2007)CCS is an (Augmented) Contact Free C/E System., , и . Mathematical Models for the Semantics of Parallelism, том 280 из Lecture Notes in Computer Science, стр. 144-165. Springer, (1986)Causal Trees: Interleaving + Causality., и . Semantics of Systems of Concurrent Processes, том 469 из Lecture Notes in Computer Science, стр. 239-255. Springer, (1990)Observation Trees., , и . NAPAW, стр. 103-118. Springer, (1992)Cells in Silico: A Holistic Approach., , , и . SFM, том 5016 из Lecture Notes in Computer Science, стр. 366-386. Springer, (2008)Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)., , и . CoRR, (2020)Debits and Credits in Petri Nets and Linear Logic., , , и . Logic, Rewriting, and Concurrency, том 9200 из Lecture Notes in Computer Science, стр. 135-159. Springer, (2015)Fairness and Priority., и . Fundam. Informaticae, 22 (3): 299-306 (1995)A Formal Analysis of Complex Type Flaw Attacks on Security Protocols., , и . AMAST, том 5140 из Lecture Notes in Computer Science, стр. 167-183. Springer, (2008)