Paper Info
Title
Realisability of pomsets.
Abstract
Pomsets are a model of concurrent computations introduced by Pratt. We adopt pomsets as a syntax-oblivious specification model of distributed systems where coordination happens via asynchronous message-passing.
Year
DOI
Venue
2019
10.1016/j.jlamp.2019.06.003
Journal of Logical and Algebraic Methods in Programming
DocType
Volume
ISSN
Journal
108
2352-2208
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Roberto Guanciale1545.05
Emilio Tuosto249942.62