José Meseguer

1. Conditional rewriting logic as a unified model of concurrency
   1992/04/01 by José Meseguer · 6 citations
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Specification of real-time and hybrid systems in rewriting logic
   2002/08/01 by Peter Csaba Ölveczky, José Meseguer · 1 citation
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Real-Time Systems Scheduling