Two case studies of semantics execution in maude: CCS and LOTOS

  1. Verdejo, A.
  2. Martí-Oliet, N.
Journal:
Formal Methods in System Design

ISSN: 0925-9856

Year of publication: 2005

Volume: 27

Issue: 1-2

Pages: 113-172

Type: Article

DOI: 10.1007/S10703-005-2254-X GOOGLE SCHOLAR
Data source: Scopus