van Glabbeek, R. J.

1. Precongruence Formats for Decorated Trace Semantics
   2002/04/17 by Bard Bloom, B. Bloom, W. J. Fokkink +6 · 1 citation
   Computer Science · #D.3.1 #F.1.2 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
2. On infinite guarded recursive specifications in process algebra
   2020/05/02 by van Glabbeek, R. J., Middelburg, C. A. · 1 citation
   #F.1.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)