Two Case Studies of Semantics Execution in Maude: CCS and LOTOS
Work
Year: 2005
Type: article
Source: Formal Methods in System Design
Authors Alberto Verdejo, Narciso Martı́-Oliet
Institution Universidad Complutense de Madrid
Cites: 61
Cited by: 20
Related to: 10
FWCI: 2.08
Citation percentile (by year/subfield): 89.33
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed