Author:
Cenciarelli Pietro,Knapp Alexander,Sibilio Eleonora
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lecture Notes in Computer Science;G. Winskel,1982
2. Nielsen, M., Plotkin, G.D., Winskel, G.: Petri Nets, Event Structures and Domains: Part I. Theo. Comp. Sci. 13(1), 85–108 (1981)
3. van Glabbeek, R.J., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica 37, 229–327 (2001)
4. Lecture Notes in Computer Science;G. Winskel,1987
5. van Glabbeek, R.J., Plotkin, G.D.: Configuration Structures. In: Proc. 10
$^{\text{th}}$
IEEE Symp. Logics in Computer Science (LICS’95), San Diego, pp. 199–209. IEEE Press, Los Alamitos (1995)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pomsets with preconditions: a simple model of relaxed memory;Proceedings of the ACM on Programming Languages;2020-11-13
2. The Problem of Programming Language Concurrency Semantics;Programming Languages and Systems;2015
3. Making the java memory model safe;ACM Transactions on Programming Languages and Systems;2013-12
4. Correct Refactoring of Concurrent Java Code;ECOOP 2010 – Object-Oriented Programming;2010
5. Verification of Causality Requirements in Java Memory Model Is Undecidable;Parallel Processing and Applied Mathematics;2010