Author of the publication

Evolving Algebra Model of Programming Language Semantics.

, and . IFIP Congress (1), volume A-51 of IFIP Transactions, page 416-422. North-Holland, (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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Glavan, Paola
add a person with the name Glavan, Paola
 

Other publications of authors with the same name

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model., , , and . IFIP Congress (1), volume A-51 of IFIP Transactions, page 396-401. North-Holland, (1994)Evolving Algebra Model of Programming Language Semantics., and . IFIP Congress (1), volume A-51 of IFIP Transactions, page 416-422. North-Holland, (1994)Analyzing the exhaustiveness of the Synapse protocol., , , , , and . Peer-to-Peer Networking and Applications, 8 (5): 793-806 (2015)Verification of Causality Requirements in Java Memory Model Is Undecidable., , and . PPAM (2), volume 6068 of Lecture Notes in Computer Science, page 62-67. Springer, (2009)Communicating Evolving Algebras., and . CSL, volume 702 of Lecture Notes in Computer Science, page 182-215. Springer, (1992)Correctness of the Chord Protocol., , , and . IIKI, page 547-552. IEEE Computer Society, (2016)Description of the Chord Protocol using ASMs Formalism, , and . CoRR, (2012)Proving properties of the Chord protocol using the ASM formalism., , and . Theor. Comput. Sci., (2019)Correctness of the Chord Protocol., , , , and . CoRR, (2017)Probabilistic Consensus of the Blockchain Protocol., , , , and . ECSQARU, volume 11726 of Lecture Notes in Computer Science, page 469-480. Springer, (2019)