Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Baeten, J. C. M.
and
Reniers, M. A.
2004.
Formal Methods for the Design of Real-Time Systems.
Vol. 3185,
Issue. ,
p.
59.
Baeten, J.C.M
and
de Vink, E.P
2004.
Axiomatizing GSOS with termination.
The Journal of Logic and Algebraic Programming,
Vol. 60-61,
Issue. ,
p.
323.
Baeten, Jos C. M.
and
Bravetti, Mario
2005.
CONCUR 2005 – Concurrency Theory.
Vol. 3653,
Issue. ,
p.
248.
Baeten, J. C. M.
Mousavi, M. R.
and
Reniers, M. A.
2005.
Processes, Terms and Cycles: Steps on the Road to Infinity.
Vol. 3838,
Issue. ,
p.
251.
Baeten, Jos C.M.
and
Bravetti, Mario
2006.
A Generic Process Algebra.
Electronic Notes in Theoretical Computer Science,
Vol. 162,
Issue. ,
p.
65.
Wijs, Anton
2007.
Achieving Discrete Relative Timing with Untimed Process Algebra.
p.
35.
Baeten, J.C.M.
and
Reniers, M.A.
2007.
Duplication of constants in process algebra.
The Journal of Logic and Algebraic Programming,
Vol. 70,
Issue. 2,
p.
151.
BAETEN, JOS C. M.
and
BRAVETTI, MARIO
2008.
A ground-complete axiomatisation of finite-state processes in a generic process algebra.
Mathematical Structures in Computer Science,
Vol. 18,
Issue. 6,
p.
1057.
Baeten, Jos C.M.
and
Sangiorgi, Davide
2014.
Computational Logic.
Vol. 9,
Issue. ,
p.
399.
Aceto, Luca
Goriac, Eugen-Ioan
and
Ingolfsdottir, Anna
2015.
A ground-complete axiomatization of stateless bisimilarity over Linda.
Information Processing Letters,
Vol. 115,
Issue. 2,
p.
212.