M.-O. Stehr and C. L. Talcott. PLAN in Maude: Specifying an active network programming language. In Gadducci and Montanari [33], pages 195--215. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (2 citations) (Correct)
No context found.
M.-O. Stehr and C. L. Talcott. PLAN in Maude: Specifying an active network programming language. In Gadducci and Montanari [33], pages 195--215.
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) (Correct)
No context found.
M.-O. Stehr and C. Talcott. Plan in Maude: Specifying an active network programming language. In Proc. 4th. WRLA. ENTCS, Elsevier, 2002.
Formal JVM Code Analysis in JavaFAN - Azadeh Farzan Jose (2004) (1 citation) (Correct)
No context found.
M. Stehr and C. Talcott. Plan in Maude: Specifying an active network programming language. In RTA'02, volume 71, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC