336 search results - page 2 / 68 » Implementing CCS in Maude |
CCS
2001
ACM
13 years 9 months ago
2001
ACM
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
ENTCS
2006
13 years 4 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
JISBD
2001
13 years 6 months ago
2001
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...