4 search results - page 1 / 1 » wadt 2001 |
134
Voted
WADT
2001
Springer
15 years 10 months ago
2001
Springer
107
Voted
WADT
2001
Springer
15 years 10 months ago
2001
Springer
162
click to vote
WADT
2001
Springer
15 years 10 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...
177
click to vote
WADT
1999
Springer
15 years 10 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...