Paper Info
Title
Penrose: Putting Compositionality to Work for Petri Net Reachability.
Year
DOI
Venue
2013
10.1007/978-3-642-40206-7_29
CALCO
Field
DocType
Citations 
Principle of compositionality,Discrete mathematics,Petri net,Monoidal category,Computer science,Binary decision diagram,Reachability,Reachability problem
Conference
3
PageRank 
References 
Authors
0.42
8
2
Name
Order
Citations
PageRank
Paweł Sobociński160945.57
Owen Stephens2202.21