4 search results - page 1 / 1 » wadt 2001 |
WADT
2001
Springer
13 years 9 months ago
2001
Springer
WADT
2001
Springer
13 years 9 months ago
2001
Springer
WADT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
WADT
1999
Springer
13 years 9 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...