( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Polarized higher-order subtyping.

. University of Erlangen-Nuremberg, Germany, (1999)

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.

Martin Steffen

Martin Steffen

Martin Steffen

Martin Steffen

Martin Steffen

 

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

Virtually timed ambients: A calculus of nested virtualization., , и . J. Log. Algebraic Methods Program., (2018)COMBREX-DB: an experiment centered database of protein function: knowledge, predictions and knowledge gaps., , , , , , и . Nucleic Acids Res., 44 (Database-Issue): 330-335 (2016)Translating Active Objects into Colored Petri Nets for Communication Analysis., , , , и . FSEN, том 10522 из Lecture Notes in Computer Science, стр. 84-99. Springer, (2017)Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes., , , и . ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 37-51. Springer, (2004)Checking Modal Contracts for Virtually Timed Ambients., , , и . ICTAC, том 11187 из Lecture Notes in Computer Science, стр. 252-272. Springer, (2018)A Fully Abstract Semantics for UML Components., , , и . FMCO, том 3657 из Lecture Notes in Computer Science, стр. 49-69. Springer, (2004)Design Issues in Concurrent Object-Oriented Languages and Observability., и . KSE, стр. 135-142. IEEE Computer Society, (2011)A Tool-Supported Proof System for Multithreaded Java., , , и . FMCO, том 2852 из Lecture Notes in Computer Science, стр. 1-32. Springer, (2002)Lazy behavioral subtyping., , , и . J. Log. Algebraic Methods Program., 79 (7): 578-607 (2010)A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.. Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 393-406. Springer, (2016)