Crossref Citations
This book has been
cited by the following publications. This list is generated based on data provided by CrossRef.
Bonchi, Filippo
Bonsangue, Marcello
Caltais, Georgiana
Rutten, Jan
and
Silva, Alexandra
2012.
Final Semantics for Decorated Traces.
Electronic Notes in Theoretical Computer Science,
Vol. 286,
Issue. ,
p.
73.
Aristizábal, Andrés
Bonchi, Filippo
Pino, Luis
and
Valencia, Frank
2012.
Reducing Weak to Strong Bisimilarity in CCP.
Electronic Proceedings in Theoretical Computer Science,
Vol. 104,
Issue. ,
p.
2.
Grabmayer, Clemens
Endrullis, Jorg
Hendriks, Dimitri
Klop, Jan Willem
and
Moss, Lawrence S.
2012.
Automatic Sequences and Zip-Specifications.
p.
335.
Luo, Yongming
Fletcher, George H. L.
Hidders, Jan
De Bra, Paul
and
Wu, Yuqing
2013.
Regularities and dynamics in bisimulation reductions of big graphs.
p.
1.
Deshmukh, Jyotirmoy V.
Majumdar, Rupak
and
Prabhu, Vinayak S.
2015.
Computer Aided Verification.
Vol. 9207,
Issue. ,
p.
234.
Aman, Bogdan
and
Ciobanu, Gabriel
2015.
Formal Methods for Industrial Critical Systems.
Vol. 9128,
Issue. ,
p.
146.
BONCHI, F.
BONSANGUE, M.
CALTAIS, G.
RUTTEN, J.
and
SILVA, A.
2016.
A coalgebraic view on decorated traces.
Mathematical Structures in Computer Science,
Vol. 26,
Issue. 7,
p.
1234.
Setzer, Anton
2016.
Advances in Proof Theory.
Vol. 28,
Issue. ,
p.
377.
Ivanov, Ievgen
2016.
Coalgebraic Methods in Computer Science.
Vol. 9608,
Issue. ,
p.
216.
Hamadou, Sardaouna
Mullins, John
and
Gherbi, Abdelouahed
2016.
Theoretical Information Reuse and Integration.
Vol. 446,
Issue. ,
p.
85.
Hillery, Benjamin
Mercer, Eric
Rungta, Neha
and
Person, Suzette
2016.
Verification, Model Checking, and Abstract Interpretation.
Vol. 9583,
Issue. ,
p.
206.
Deshmukh, Jyotirmoy V.
Majumdar, Rupak
and
Prabhu, Vinayak S.
2017.
Quantifying conformance using the Skorokhod metric.
Formal Methods in System Design,
Vol. 50,
Issue. 2-3,
p.
168.
Basold, Henning
Komendantskaya, Ekaterina
and
Li, Yue
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
783.
Ruef, Andrew
Lampropoulos, Leonidas
Sweet, Ian
Tarditi, David
and
Hicks, Michael
2019.
Principles of Security and Trust.
Vol. 11426,
Issue. ,
p.
76.
Hirschowitz, Tom
2019.
Cellular Monads from Positive GSOS Specifications.
Electronic Proceedings in Theoretical Computer Science,
Vol. 300,
Issue. ,
p.
1.
Jiang, Ying
Liu, Shichao
and
Ehrhard, Thomas
2019.
A fully abstract semantics for value-passing CCS for trees.
Frontiers of Computer Science,
Vol. 13,
Issue. 4,
p.
828.
Hirschowitz, Tom
2019.
Familial monads and structural operational semantics.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. POPL,
p.
1.
Aceto, Luca
Cassar, Ian
Francalanza, Adrian
and
Ingólfsdóttir, Anna
2019.
Runtime Verification.
Vol. 11757,
Issue. ,
p.
148.
Cohen, Liron
and
Rowe, Reuben N. S.
2020.
Automated Reasoning.
Vol. 12166,
Issue. ,
p.
375.
Voorneveld, Niels
2020.
From Equations to Distinctions: Two Interpretations of Effectful Computations.
Electronic Proceedings in Theoretical Computer Science,
Vol. 317,
Issue. ,
p.
1.