Clavel, M., F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer and J. F. Quesada, Maude: Specification and programming in rewriting logic, Theoretical Computer Science (2001). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) Self-citation (Meseguer) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. Th. Comput. Sci., 285:187--243, 2002.
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (2 citations) Self-citation (Mart-oliet) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285(2):187--243, 2002.
A Rewriting Based Model for Probabilistic Distributed.. - Kumar, Sen, Meseguer.. Self-citation (Meseguer) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285:187--243, 2002.
A Conference Reviewing System in Mobile Maude - Duran, Verdejo (2002) Self-citation (Duran) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 304, 2002. To appear.
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) Self-citation (Meseguer) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285:187--243, 2002.
Certifying and Synthesizing - Membership Equational Proofs Self-citation (Eker Lincoln Meseguer) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285:187--243, 2002.
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
No context found.
Clavel, M., F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer and J. F. Quesada, Maude: Specification and programming in rewriting logic, Theoretical Computer Science (2001).
Formal Analysis of Kerberos 5 - Frederick Butler Iliano (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, J. Quesada, Maude: Specification and Programming in Rewriting Logic, SRI International, http://maude.csl.sri.com (January 1999).
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
No context found.
Clavel, M., F. Dur an, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada: 2001, `Maude: Specification and Programming in Rewriting Logic'. Theoretical Computer Science.
Representing the MSR Cryptoprotocol Specification Language in .. - Cervesato, al. (2004) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 2001.
Using Rewriting Logic To Generate Different.. - Polynomial Approximations .. (2006) (Correct)
No context found.
M. Clavel, F. Dur an, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada, "Maude: specification and programming in rewriting logic," Theoretical Computer Science, vol. 285, no. 2, pp. 187--243, 2002.
WRS'04 - 4th International Workshop on Reduction Strategies in .. - Antoy, (eds.) (2004) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 2002.
Communicating Concurrent Objects in HiddenCCS - Ciobanu, Lucanu (2004) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J.F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, vol.285(2), pp. 187-243, Elsevier, 2002.
Building tools for LOTOS Symbolic Semantics in Maude - Verdejo (2002) (1 citation) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Computer Science Laboratory, SRI International, Jan. 1999. http://maude.csl.sri.com/manual.
Certifying Optimality of State Estimation Programs - Rosu, Venkatesan, Whittle.. (2003) (Correct)
No context found.
M. Clavel, F.J. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J.F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285:187--243, 2002.
Action Templates and Causalities in the ODP Computational.. - Ral Romero And (2004) (Correct)
No context found.
M. Clavel, F. Durn, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseger and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Computer Science, 285:187-243. Aug. 2002.
Efficient Monitoring of Safety Properties - Havelund, Rosu (2002) (1 citation) (Correct)
No context found.
M. Clavel, F. J. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and Programming in Rewriting Logic, Mar. 1999. Maude System documentation at http://maude.csl.sri.com/papers.
Certifying Measurement Unit Safety Policy - Grigore Rosu Department (Correct)
No context found.
M. Clavel, F. Dur an, S. Eker, P. Lincoln, N. Mart - Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285, 2002.
Certifying Kalman Filters - Leustean, Rosu (2003) (1 citation) (Correct)
No context found.
Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, Jose Meseguer, and Jose Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.
Formal System Development Using Method Integration: a Case Study - Aredo, Owe (2004) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285(2):187-- 243, August 2002.
Extensional Theories and Rewriting - Rosu (2004) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.
On Implementing Behavioral Rewriting - Rosu (2002) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.
Testing Extended Regular Language Membership Incrementally.. - Rosu, Viswanathan (2003) (Correct)
No context found.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.
Behavioral Abstraction is Hiding Information - Rosu (2004) (Correct)
No context found.
M. Clavel, F.J. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J.F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285:187--243, 2002.
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (1 citation) (Correct)
No context found.
M. Clavel, F. J. Duran, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, 285:187--243, 2002.
First 50 documents Next 50
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