Login / Signup

Towards General Axiomatizations for Bisimilarity and Trace Semantics.

Marco Bernardo
Published in: WADT (2020)
Keyphrases
  • special case
  • real time
  • closely related
  • database systems
  • object oriented
  • case study
  • data model
  • logic programming