$Id: bib1300.bib 2001/02/01 denker $ DAML annotation of ca. 1300 bibliography entries "D. Basin" "M. Clavel" "J. Meseguer" "Rewriting Logic as a Metalogical Framework" "url{http://www.informatik.uni-freiburg.de/{homedir}basin/pubs/pubs.html}" "D. Basin" "G. Denker" "Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis" "May 2000" "Sumitted for publication" "Klaus Havelud" "Grigore Roc{s}u" "Testing linear temporal logic formulas on finite execution traces" "NASA Ames Research Center" "" "2000" "Peter Csaba {\"O}lveczky" "Jos'e Meseguer" "Specification of real-time and hybrid systems in rewriting logic" "2000" "To appear in {em Theoretical Computer Science}, url{maude.csl.sri.com}" "Francisco Dur'an" "Jos'e Meseguer" "On Parameterized Theories and Views in {Full Maude} 2.0" "Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications" "K. Futatsugi" "2000" "{ENTCS}, Elsevier" "D. Basin" "M. Clavel" "J. Meseguer" "Rewriting Logic as a Metalogical Framework" "FST TCS 2000" "S. Kapoor" "S. Prasad" "2000" "55-80" "Springer LNCS" "Peter Csaba {\"O}lveczky" "Jos'e Meseguer" "{Real-Time} {Maude}: a tool for simulating and analyzing real-time and hybrid systems" "Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications" "K. Futatsugi" "2000" "{ENTCS}, Elsevier" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Jos'e Quesada" "Towards {Maude} 2.0" "Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications" "K. Futatsugi" "2000" "{ENTCS}, Elsevier" "Manuel Clavel" "Francisco Dur'an" "Narciso Mart'{i}-Oliet" "Polytypic Programming in {Maude}" "Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications" "K. Futatsugi" "2000" "{ENTCS}, Elsevier" "Grit Denker" "Jos'e Meseguer" "C. Talcott" "Rewriting Semantics of Meta-Objects and Composable Distributed Services" "Proc. 3rd. Intl. Workshop on Rewriting Logic and its Applications" "K. Futatsugi" "2000" "{ENTCS}, Elsevier" "Flaviu Cristian" "Agreeing on processor group membership in timed asynchronous distributed systems" "University of California San Diego, Computer Science and Engineering Department" "CSE95-428" "1995" "S. Kasera" "S. Bhattacharyya" "M. Keaton" "D. Kiwior" "J. Kurose" "D. Towsley" "S. Zabele" "Scalable fair reliable multicast using active services" "University of Massachusetts, Amherst, CMPSCI" "TR 99-44" "1999" "Flaviu Cristian" "Synchronous and asynchronous group communication" "Proceedings IEEE Workshop on Fault-tolerant and Parallel Distributed Systems, Honolulu, Hawaii" "1995" "R. Allen" "D. Garlan" "Formalizing Architectural Connection" "Proceedings 16th International Conference on Software Engineering" "1994" "G. Denker" "J. Meseguer" "C. Talcott" "{Rewriting Semantics of Distributed Meta Objects and Composable Communication Services}" "1999" "working draft" "M. Hicks" "P. Kakkar" "J. T. Moore" "C. A. Gunter" "S. Nettles" "{PLAN: A Packet Language for Active Networks}" "Proceedings of the Third {ACM} {SIGPLAN} International Conference on Functional Programming Languages" "1998" "86-93" "ACM" "http://www.cis.upenn.edu/~switchware/papers/plan.ps" "G. Denker" "J. Millen" "{CAPSL Intermediate Language}" "{Workshop on Formal Methods and Security Protocols (FMSP'99), July 5, 1999, Trento, Italy (part of FLOC'99)}" "N. Heintze" "E. Clarke" "1999" "url{http://cm.bell-labs.com/cm/cs/who/nch/fmsp99/}" "G. Denker" "J. Meseguer" "C. Talcott" "{Protocol Specification and Analysis in Maude}" "{Proc. of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana}" "1998" "N. Heintze" "J. Wing" "" "" "" "" "" "url{http://www.cs.bell-labs.com/who/nch/fmsp/index.html}" "{Denker, G." "J. J. Garcia-Luna-Aceves" "J. Meseguer" "P. \"Olveczky" "J. Raju" "B. Smith" "C.} Talcott" "{Specification and Analysis of a Reliable Broadcasting Protocol in Maude}" "{Proc. 37th Annual Allerton Conference on Communication, Control and Computation}" "1999" "B. Hajek" "R. S. Sreenivas" "738-747" "" "University of Illinois" "" "" "url{http://www.comm.csl.uiuc.edu/allerton}" "J. Meseguer" "C. Talcott" "Semantic Interoperation of Dynamic Heterogeneous Architectures" "Technical presentations to EDCS Architecture Cluster Meeting, April and July 1997" "1997" "N. Venkatasubramanian" "C. L. Talcott" "1995" "{Principles of Distributed Computation}" "{Reasoning about Meta Level Activities in Open Distributed Systems}" "Manuel Clavel" "Jos'e Meseguer" "Internal Strategies in a Reflective Logic" "Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997)" "B. Gramlich" "H. Kirchner" "1997" "1-12" "Patrick Lincoln" "Jos'e Meseguer" "Strategic Reflection" "Proceedings of the CADE-15 Workshop on Strategies in Automated Deduction (Lindau, Germany, July 1998)" "B. Gramlich" "F. Pfenning" "1998" "3-9" "P. Borovansk'y" "C. Kirchner" "H. Kirchner" "Strategies and Rewriting in {ELAN}" "Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997)" "B. Gramlich" "H. Kirchner" "1997" "P. Borovansk'y" "C. Kirchner" "H. Kirchner" "Strategies of {ELAN}: meta-interpretation and partial evaluation" "Proceedings of the International Workshop on Theory and Practice of Algebraic Specifications (Amsterdam, Holland)" "1997" "P.-E. Moreau" "H. Kirchner" "Compilation techniques for associative-commutative normalisation" "Proceedings of the International Workshop on Theory and Practice of Algebraic Specifications (Amsterdam, Holland)" "1997" "Francisco Dur'an" "Jos'e Meseguer" "An extensible module algebra for {Maude}" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "David Basin" "Sean Matthews" "Scoped Metatheorems" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "L. J. Steggles" "P. Kosiuczenko" "A timed rewriting logic semantics for {SDL}: a case study of the alternating bit protocol" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Francisco Dur'an" "Jos'e Meseguer" "Structured Theories and Institutions" "{em Proc. Category Theory and Computer Science 1999/}, (Edinburgh, Scotland, September 1999) {ENTCS}, Vol. 29, {Elsevier}, 1999, url{http://www.elsevier.nl/locate/entcs/volume29.html}" "Bow-Yaw Wang" "Jos'e Meseguer" "Carl A. Gunter" "Specification and formal analysis of a {PLAN} algorithm in {Maude}" "To appear in Proc. DSVV 2000" "G. Carabetta" "P. Degano" "F. Gadducci" "{CCS} semantics via proved transition systems and rewriting logic" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Jos'e Meseguer" "Carolyn Talcott" "Mapping {OMRS} to rewriting logic" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Grit Denker" "Jos'e Meseguer" "Carolyn Talcott" "Rewriting semantics of meta-objects and composable distributed services" "Manuscript, February 1999" "Jos'e Meseguer" "A logical framework for distributed systems and communication protocols" "{em Proc. FORTE/PSTV'98/}, {Kluwer}, 1998" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Jos'e Quesada" "{Maude}: specification and programming in rewriting logic" "SRI International, January 1999, url{http://maude.csl.sri.com}" "A. Verdejo" "N. Mart'{i}-Oliet" "Executing and verifying {CCS} in {Maude}" "Technical Report 99-00, Dto. Sistemas Inform'aticos y Programaci'on, Universidad Complutense, Madrid; also, url{http://maude.csl.sri.com}" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Jos'e Quesada" "A Tutorial on {Maude}" "SRI International, March 2000, url{http://maude.csl.sri.com}" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Jos'e Quesada" "{Maude} as a Metalanguage" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Metalevel computation in {Maude}" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Steven Eker" "Term rewriting with operator evaluation strategy" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Peter Borovansk'y" "Salma Jamoussi" "Pierre-Etienne Moreau" "Christophe Ringeissen" "Handling {ELAN} rewrite programs via an exchange format" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "Roberto Bruni" "Jos'e Meseguer" "Ugo Montanari" "Internal strategies in a rewriting implementation of tile systems" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "K. Futatsugi" "R. Diaconescu" "{CafeOBJ} Report" "World Scientific, AMAST Series" "1998" "T. Genet" "Proving termination of sequential reduction relation using tree automata" "Manuscript; INRIA Lorraine, 1997" "F. Gadducci" "U. Montanari" "The tile model" "In G. Plotkin, C. Stirling and M. Tofte, eds., {em Proof, Language and Interaction: Essays in Honour of Robin Milner}, MIT Press. Also, TR-96-27, C.S. Dept., Univ. of Pisa, 1996." "P. Viry" "Rewriting modulo a rewrite system" "TR-95-20, C.S. Department, University of Pisa, 1996." "R. Bruni" "J. Meseguer" "U. Montanari" "Process and term tile logic" "Technical Report SRI-CSL-98-06, SRI International, July 1998." "M.-O. Stehr" "A rewriting semantics for algebraic {Petri} nets" "Manuscript, March 1998, SRI International and C.S. Dept., Univ. of Hamburg, 1998." "J. Meseguer" "C. Talcott" "Using Rewriting Logic to Interoperate Architectural Description Languages ({I and II})" "Lectures at the Santa Fe and Seattle DARPA-EDCS Workshops, March and July 1997. url{http://www-formal.stanford.edu/clt/ArpaNsf/adl-interop.html}." "E. Contejean" "C. March'e" "The {CiME} system: tutorial and user's manual" "Manuscript, Universit'e Paris-Sud, Centre d'Orsay" "M. Clavel" "F. Dur'an" "S. Eker" "J. Meseguer" "P. Lincoln" "An introduction to {Maude} (beta version)" "Manuscript, SRI International, March 1998" "J. J. Garc'{i}a-Luna" "Reliable broadcasting in computer networks" "Manuscript; University of California at Santa Cruz, January 1998" "Grit Denker" "Jos'e Meseguer" "Carolyn Talcott" "Formal specification and analysis of active networks and communication protocols: the {Maude} experience" "Proc. DARPA Information Survivability Conference and Exposition DICEX 2000, Vol. 1, Hilton Head, South Carolina, January 2000" "2000" "251-265" "IEEE" "Jos'e Meseguer" "Rewriting Logic and {Maude}: Concepts and Applications" "Rewriting Techniques and Applications, RTA 2000" "L. Bachmair" "2000" "1-26" "1833" "Springer-Verlag" "Lecture Notes in Computer Science" "Francisco Dur'an" "Steven Eker" "Patrick Lincoln" "Jos'e Meseguer" "Principles of {Mobile} {Maude}" "Agent Systems, Mobile Agents, and Applications, ASA/MA 2000" "D. Kotz" "F. Mattern" "2000" "73-85" "1882" "Springer-Verlag" "Lecture Notes in Computer Science" "C. L. Talcott" "Composable Semantic Models for Actor Theories" "Theoretical Aspects of Computer Science" "Lecture Notes in Computer Science" "T. Ito M. Abadi" "1997" "" "Springer-Verlag" "An Actor Rewriting Theory" "C. L. Talcott" "Proc. 1st Intl. Workshop on Rewriting Logic and its Applications" "J. Meseguer" "1996" "Electronic Notes in Theoretical Computer Science" "4" "North Holland" "J. Meseguer" "C. Talcott" "" "Technical presentations to EDCS Architecture Cluster Meeting, April and July 1997" "1997" "J. Ad'amek" "J. Rosick'y" "Locally Presentable and Accessible Categories" "Cambridge University Press" "1994" "P. D. Mosses" "Action Semantics" "Cambridge University Press" "1992" "P. Burmeister" "Partial Algebras---{S}urvey of a Unifying Approach Towards a Two-Valued Model Theory for Partial Algebras" "Algebra Universalis" "1982" "15" "306-358" "Doron Peled" "Combining partial order reductions with on-the-fly model-checking" "Formal Methods in System Design" "1996" "8" "39-64" "C. Strachey" "Fundamental concepts in programming languages" "Higher-Order and Symbolic Computation" "2000" "13" "11-49" "T. Mossakowski" "Representations, Hierarchies, and Graphs of Institutions" "Fachbereich Mathematik und Informatik der Universit{\"a}t Bremen" "1996" "A. Knapp" "A formal approach to object-oriented software engineering" "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen" "2000" "To appear" "J. F. Quesada" "{The {SCP} parsing algorithm based on syntactic constraint propagation}" "University of Seville" "{Doctoral Dissertation}" "1997" "A. van Deursen" "Executable Language Definitions" "University of Amsterdam" "1994" "U. Lechner" "Object-oriented specification of distributed systems" "University of Passau" "1997" "Grit Denker" "Jos'e Meseguer" "Carolyn Talcott" "Formal Specification and Analysis of Active Networks and Communication Protocols: The {Maude} Experience" "Manuscript, SRI International, October 1999" "David Basin" "Manuel Clavel" "Jos'e Meseguer" "Reflective metalogical frameworks" "In Proc. LFM'99, (Paris, France, September 1999) url{http://www.cs.bell-labs.com/~felty/LFM99/}" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Jos'e Meseguer" "Mark-Oliver Stehr" "{Maude} as a formal meta-tool" "FM'99 --- Formal Methods" "1999" "J. Wing" "J. Woodcock" "1684-1703" "Springer-Verlag" "1709" "Lecture Notes in Computer Science" "Isabel Pita" "Narciso Mart'{i}-Oliet" "Using reflection to specify transaction sequences in rewriting logic" "Recent Trends in Algebraic Development Techniques" "1999" "J. L. Fiadeiro" "261-276" "Springer-Verlag" "1589" "Lecture Notes in Computer Science" "J. Fiadeiro" "N. Mart'{i}-Oliet" "T. Maibaum" "J. Meseguer" "I. Pita" "Towards a Verification Logic for Rewriting Logic" "Recent Trends in Algebraic Development Techniques, WADT'99" "2000" "D. Bert" "C. Choppy" "P. Mosses" "438-458" "Springer-Verlag" "1827" "Lecture Notes in Computer Science" "T. Mossakowski" "Equivalences among Various Logical Frameworks of Partial Algebras" "Computer Science Logic, Paderborn, Germany, September 1995, Selected Papers" "1996" "H. Kleine B{\"u}ning" "403-433" "Springer-Verlag" "1092" "Lecture Notes in Computer Science" "Jos'e Meseguer" "Formal Interoperability" "Proceedings of the 1998 Conference on Mathematics in Artificial Intelligence, Fort Laurerdale, Florida, January 1998" "url{http://rutcor.rutgers.edu/~amai/Proceedings.html}" "1998" "M. Coste" "Localisation, Spectra and Sheaf Representation" "Applications of Sheaves" "1979" "M. P. Fourman" "C. J. Mulvey" "D. S. Scott" "212-238" "Springer-Verlag" "753" "Lecture Notes in Mathematics" "V. Manca" "A. Salibra" "G. Scollo" "Equational Type Logic" "Theoretical Computer Science" "1990" "77" "131-159" "S. Morasca" "M. Pezz`e" "M. Trubian" "Timed high-level nets" "J. of Real-Time Systems" "1991" "3" "165-189" "P. D. Mosses" "Unified Algebras and Institutions" "Proc. Fourth Annual IEEE Symp. on Logic in Computer Science" "1989" "304-312" "Asilomar, California" "June" "W. W. Wadge" "Classified Algebras" "1982" "University of Warwick" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Jos'e Meseguer" "Design and Implementation of the {Cafe} Prover and {Church-Rosser} Checker Tools" "1997" "December" "SRI International" "G. F. Stuart" "W. W. Wadge" "Classified Model Abstract Data Type Specification" "1991" "Manuscript, University of Victoria" "Manuel Clavel" "Reflection in General Logics and in Rewriting Logic, with Applications to the {Maude} Language" "1998" "Ph.D. Thesis, University of Navarre" "Manuel Clavel" "Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications" "2000" "CSLI Publications" "Francisco Dur'an" "A Reflective Module Algebra with Applications to the {Maude} Language" "1999" "Ph.D. Thesis, University of M'alaga" "Jos'e Meseguer" "Membership algebra as a logical framework for equational specification" "1998" "In F. Parisi-Presicce, ed., {it Proc. WADT'97}, 18--61, Springer LNCS 1376" "Jos'e Meseguer" "Ugo Montanari" "Mapping Tile Logic into Rewriting Logic" "1998" "in F. Parisi-Presicce, ed., Proc. WADT'97, Springer LNCS 1376" "{CoFI Task Group on Semantics}" "{CASL}---{T}he {CoFI} Algebraic Specification Language, Version 0.97, {S}emantics" "July" "1997" "url{http://www.brics.dk/Projects/CoFI}" "A. Poign'e" "Algebra Categoricaly" "Category Theory and Computer Programming" "1985" "D. Pitt et al." "76-102" "Springer-Verlag" "240" "Lecture Notes in Computer Science" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Jos'e Meseguer" "Building equational proving tools by reflection in rewriting logic" "1998" "April" "Proc. of the CafeOBJ Symposium '98, Numazu, Japan" "CafeOBJ Project" "url{http://maude.csl.sri.com}" "Manuel Clavel" "Francisco Dur'an" "Steven Eker" "Jos'e Meseguer" "Building equational proving tools by reflection in rewriting logic" "2000" "CAFE: An Industrial-Strength Algebraic Formal Method" "Elsevier" "url{http://maude.csl.sri.com}" "M. Ishisone" "T. Sawada" "Brute: brute force rewriting engine" "1998" "April" "Proc. of the CafeOBJ Symposium '98, Numazu, Japan" "CafeOBJ Project" "S. Nakajima" "Encoding mobility in {CafeOBJ}: an exercise of describing mobile code-based software architecture" "1998" "April" "Proc. of the CafeOBJ Symposium '98, Numazu, Japan" "CafeOBJ Project" "A. Knapp" "Case Studies with {CafeOBJ}" "1998" "April" "Proc. of the CafeOBJ Symposium '98, Numazu, Japan" "CafeOBJ Project" "P. Freyd" "Algebra valued functors in general and tensor products in particular" "Coll. Math." "14" "89-106" "1966" "F. W. Lawvere" "Some algebraic problems in the context of functorial semantics of algebraic theories" "Proc. Midwest Category Seminar II" "1968" "41-61" "Springer Lecture Notes in Mathematics No. 61" "Digital Signature Schemes" "B. Pfitzmann" "1996" "Springer-Verlag" "LNCS, Volume 1100" "C. Kirchner" "P. Viry" "Implementing Parallel Rewriting" "Parallelization in Inference Systems" "1992" "B. Fronh{\"o}fer" "G. Wrightson" "123-138" "Springer LNAI 590" "Adel Bouhoula" "Jean-Pierre Jouannaud" "Jos'e Meseguer" "Specification and Proof in Membership Equational Logic" "Proceedings TAPSOFT'97" "1997" "M. Bidoit" "M. Dauchet" "Springer-Verlag" "1214" "67-92" "Lecture Notes in Computer Science" "T. Genet" "Termination proofs using gpo ordering constraints" "Proceedings 22nd International Colloquium on Trees in Algebra and Programming" "1997" "M. Bidoit" "M. Dauchet" "Springer-Verlag" "1214" "249-260" "Lecture Notes in Computer Science" "mbox{Franc{c}ois-Nicola Demers" "Jacques Malenfant}" "Reflection in logic, functional and object-oriented programming: a Short Comparative Study" "IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI" "1995" "August" "29-38" "C. Dony J. Malenfant" "P. Cointe" "A Semantics of Introspection in a Reflective Prototype-Based Language" "To appear in emph{Lisp and Symbolic Computation}" "Jos'e Meseguer" "Membership Algebra" "Lecture and abstract at the Dagstuhl Seminar on ``Specification and Semantics,'' July 9, 1996" "Jos'e Meseguer" "Carolynn Talcott" "Rewriting Logic and Secure Mobility" "To appear in {em Proc. Workshop on Foundations for Secure Mobile Code}, Monterey, California, March 1997" "M. Walicki" "S. Meldal" "Algebraic approaches to nondeterminism---an overview" "To appear in emph{Computing Surveys}" "Vijay Saraswat" "Jos'{e} Meseguer" "Carolyn Talcott" "Radha Jagadeesan" "Formal Foundations for {\bf tic-toc}" "February" "1996" "Chris Hankin" "Gamma" "In C. Hankin and H.R. Nielson (editors) {em New Trends in the Integration of Paradigms}, Dagstuhl Seminar Report 125, (9538), 1995" "Peter Aczel" "A general {Church-Rosser} theorem" "Manuscript, University of Manchester, 1978" "Jos'e Meseguer" "Rewriting Logic and {Maude}: a wide-spectrum semantic framework for object-based distributed systems" "Formal Methods for Open Object-based Distributed Systems, FMOODS 2000" "S. Smith" "C. L. Talcott" "2000" "89-117" "Kluwer" "Jos'e Meseguer" "Specifying, analyzing, and programming communication systems in {Maude}" "Communication-Based Systems" "G. Hommel" "2000" "93-101" "Kluwer" "C. L. Talcott" "Interaction Semantics for Components of Distributed Systems" "Formal Methods for Open Object-based Distributed Systems" "E. Najm" "J-B. Stefani" "1997" "154-169" "Chapman & Hall" "E. Najm" "J-B. Stefani" "Computational models for open distributed systems" "Formal Methods for Open Object-based Distributed Systems, Vol. 2" "H. Bowman" "J. Derrick" "1997" "157-176" "Chapman & Hall" "G. Agha" "I. A. Mason" "S. F. Smith" "C. L. Talcott" "A Foundation for Actor Computation" "Journal of Functional Programming" "1996" "to appear" "Vineet Gupta" "Radha Jagadeesan" "Vijay A. Saraswat" "Danny G. Bobrow" "Computing with Continuous Change" "Submitted for publication, October 1995" "Vijay A. Saraswat" "Radha Jagadeesan" "Vineet Gupta" "Timed Default Concurrent Constraint Programming" "Submitted for publication. Extended abstract published in Proc. of the 22nd Ann. ACM SIGPLAN SIGACT Sym. on the Principles of Prog. Lang., San Francisco, January 1995" "Vijay A. Saraswat" "Vineet Gupta" "The {\bf tic-toc} computation model" "Pueblo Working Document #1, July 1996" "William E. Aitken" "Robert L. Constable" "Judith L. Underwood" "Metalogical Frameworks {II}: Using Reflected Decision Procedures" "Technical Report, Computer Sci. Dept., Cornell University, 1993; also, lecture at the Max Planck Institut f{\"u}r Informatik, Saarbr{\"u}cken, Germany, July 1993" "C. Kirchner" "H. Kirchner" "Personal communication" "July 1995" "John Harrison" "Metatheory and reflection in theorem proving: a survey and critique" "University of Cambridge Computer Laboratory" "1995" "Jos'e Meseguer" "Formal Interoperability" "Paper presented at the 14th IMACS World Congress, Atlanta, Georgia, July" "1994" "M. Vittek" "{ELAN}: Un cadre logique pour le prototypage de langages de programmation avec contraintes" "Universit'e Henry Poincar'e --- Nancy I" "1994" "J. Levy" "The calculus of refinements: a formal specification model based on inclusions" "Universitat Polit`ecnica de Catalunya" "1994" "A. Corradini" "F. Gadducci" "U. Montanari" "Relating two categorical models of term rewriting" "Proc. Rewriting Techniques and Applications, Kaiserslautern" "J. Hsiang" "225-240" "1995" "F. Gadducci" "U. Montanari" "Enriched categories as models of computation" "Proc. $5^{th}$ Italian Conference on Theoretical Computer Science, Ravello" "1995" "H. Kirchner" "P.-E. Moreau" "Prototyping completion with constraints using computational systems" "Proc. Rewriting Techniques and Applications, Kaiserslautern" "J. Hsiang" "1995" "E. Battiston" "V. Crespi" "F. De Cindio" "G. Mauri" "Semantic frameworks for a class of modular algebraic nets" "Proc. of the 3rd International AMAST Conference" "1994" "M. Nivat" "C. Rattray" "T. Russ" "G. Scollo" "Springer-Verlag" "Workshops in Computing" "Manuel Clavel" "Jos'e Meseguer" "Axiomatizing reflective logics and languages" "Proceedings of Reflection'96, San Francisco, California, April 1996" "Gregor Kiczales" "263-288" "url{http://jerry.cs.uiuc.edu/reflection/}" "1996" "Proceedings of Reflection'96, San Francisco, California, April 1996" "Gregor Kiczales" "Xerox PARC" "1996" "Proceedings of the Partial Evaluation Dagstuhl Meeting, 1996" "O. Danvy" "R. Gl{\"u}ck" "P. Thiemann" "Springer LNCS 1110" "1996" "Meta-Level Architectures and Reflection" "P. Cointe" "Springer LNCS 1616" "1999" "U. Lechner" "C. Lengauer" "M. Wirsing" "An Object-Oriented Airport" "Recent Trends in Data Type Specification, Santa Margherita, Italy, May/June 1994" "1995" "E. Astesiano" "G. Reggio" "A. Tarlecki" "351-367" "Springer LNCS 906" "T. Mossakowski" "Equivalences among various logical frameworks of partial algebras" "9th Workshop on Computer Science Logic, CSL'95, Paderborn, September 1995" "1996" "H. Kleine B{\"u}ning" "403-433" "Springer LNCS 1092" "A. Corradini" "F. Gadducci" "{CPO} models for infinite term rewriting" "Proc. AMAST'95" "1995" "368-384" "Springer LNCS 936" "P. Borovansk'y" "Implementation of higher-order unification based on calculus of explicit substitutions" "Proc. SOFTSEM'95" "1995" "M. Bartosek" "J. Staudek" "J. Wiedermann" "363-368" "Springer LNCS 1012" "R. Alur" "C. Courcoubetis" "T. A. Henzinger" "P.-H. Ho" "Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems" "Workshop on Theory of Hybrid Systems" "1993" "R. L. Grossman" "A. Nerode" "A. P. Ravn" "H. Rischel" "209-229" "Springer LNCS 739" "Jos'e Meseguer" "Narciso Mart'{i}-Oliet" "From abstract data types to logical frameworks" "Recent Trends in Data Type Specification, Santa Margherita, Italy, May/June 1994" "1995" "E. Astesiano" "G. Reggio" "A. Tarlecki" "48-80" "Springer LNCS 906" "M. Bettaz" "M. Maouche" "How to specify nondeterminism and true concurrency with algebraic term nets" "Recent Trends in Data Type Specification" "1993" "M. Bidoit" "C. Choppy" "164-180" "Springer LNCS 655" "M. Bettaz" "M. Maouche" "Modeling of object based systems with hidden sorted {ECATNets}" "Proc. of MASCOTS'95, Durham, North Carolina" "1995" "307-311" "IEEE" "K. Futatsugi" "T. Sawada" "Cafe as an extensible specification environment" "In {it Proc. of the Kunming International CASE Symposium, Kunming, China, November}" "1994" "H. Reichel" "An Approach to Object Semantics Based on Terminal Co-algebras" "To appear in {it Mathematical Structures in Computer Science/}, 1995. Presented at {em Dagstuhl Seminar on Specification and Semantics}, Schloss Dagstuhl, Germany, May 1993" "C. Landauer" "K. Bellman" "A. Gillam" "Software Infrastructure for System Engineering Support" "{AAAI}'93 Workshop on Artificial Intelligence for System Engineering" "1993" "Common Object Request Borker Architecture and Specification" "OMG" "Hewlett-Packard Company and SunSoft, Inc." "{OMG Document Number 91.12.1}" "1991" "J. G. Stell" "Modelling term rewriting systems by sesqui-categories" "Keele University" "{TR94-02}" "1994" "Also in shorter form in Proc. C.A.E.N., 1994, pp. 121--127" "J. M. Purtilo" "A Software Interconnection Technology" "University of Maryland" "{UMIACS-TR-88-83, CS-TR-2139}" "1988" "J. Lee" "T. W. Malone" "Partially shared views: {A} {SC}heme for Communicating among Groups that Use Different Type Hierarchies" "{ACM} Transactions on Information Systems" "8" "1" "1-26" "1990" "Adel Bouhoula" "Jean-Pierre Jouannaud" "Jos'e Meseguer" "Specification and Proof in Membership Equational Logic" "Theoretical Computer Science" "236" "35-132" "2000" "R. P. Lippmann" "An introduction to computing with neural nets" "{IEEE} {ASSP} Magazine" "April" "4-22" "1987" "M. R. Genesereth" "An Agent-Based Framework for Software Interoperation" "Proceedings {DARPA} Software Technology Conference" "1992" "359-366" "J. W. Lewis" "the {DICE} Team" "Wrappers: Integration Utilities and Services for the {DICE} Architecture" "Proceedings {CALS & CE}: Computer Aided Logistic Systems and Concurrent Engineering" "1991" "445-457" "Connecting Tools Using Message Passing in the Field Environment" "{IEEE} Software" "July" "1990" "57-66" "K. Bellman" "An Approach to Integrating and Creating Flexible Software Environments Supporting the Design of Complex Systems" "Proceedins of {SOAR}'91: The 1991 Symposium on Space Operations, Automation and Research, 9-11 July 1991, Houston, Texas" "1991" "Computer Science and Technology SubDivision, The Aeorspace Corporation, Los Angeles CA, 90009-2957" "C. Landauer" "K. Bellman" "Integrated Simulation Environments" "Proceedins of {DARPA} Variable-Resolution Modeling Conference, 5-6 May 1992, Herndon, Virginia" "1993" "CF-103-DARPA, published by RAND" "C. Landauer" "K. Bellman" "The Role of Self-Referential Logics in a Software Architecture Using Wrappings" "1993" "3rd Irvine Software Symposium" "D. Walter" "K. Bellman" "Some issues in model integration" "1990" "1990 Eastern Simulation Conference" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "General Logics and Logical Frameworks" "D. Gabbay" "What is a Logical System?" "1994" "355-392" "Oxford University Press" "Shmuel Katz" "Refinement with global equivalence proofs in temporal logic" "DIMACS Series in Discrete Mathematics, Vol. 29" "19997" "59-78" "American Mathematical Society" "R. Jagannathan" "Dataflow Models" "E. Y. Zoyama" "Parallel and Distributed Computing Handbook" "1996" "223-238" "McGraw Hill" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Specification, transformation, and programming of concurrent systems in rewriting logic" "G. E. Blelloch" "K. M. Chandy" "S. Jagannathan" "Specification of Parallel Algorithms" "309-339" "DIMACS Series, Vol. 18, American Mathematical Society" "1994" "R. Harper" "D. Sanella" "A. Tarlecki" "Logic representation in {LF}" "D. H. Pitt et al." "Category Theory and Computer Science" "1989" "250-272" "Springer LNCS 389" "Andrea Corradini" "Ugo Montanari" "An algebra of graphs and graph rewriting" "D. H. Pitt et al." "Category Theory and Computer Science" "1991" "236-260" "Springer LNCS 530" "Christophe Ringeissen" "Combination of matching algorithms" "P. Enjalbert et al." "Proceedings of the 11th TACS Symposium" "1994" "187-198" "Springer LNCS 775" "Christophe Ringeissen" "Prototyping combination of unification algorithms with the {ELAN} rule-based programming language" "H. Comon" "Proceedings of the 8th Conference on Rewriting Techniques and Applications" "1997" "Springer LNCS 1232" "K. Ogata" "K. Futatsugi" "An abstract machine for order-sorted conditional term rewriting systems" "H. Comon" "Proceedings of the 8th Conference on Rewriting Techniques and Applications" "1997" "Springer LNCS 1232" "Jos'e Meseguer" "Completions, factorizations and colimits for $omega$-posets" "Mathematical Logic in Computer Science, Salgotarjan, 1978, Colloquia Mathematica Societatis Janos Bolyai" "26" "1981" "509-545" "North Holland" "Maura Cerioli" "Jos'e Meseguer" "May {I} borrow your logic?" "Proceedings of MFCS'93, 18th International Symposium on Mathematical Foundations of Computer Science" "1993" "342-351" "Springer LNCS 711" "Peter Mosses" "Foundations of Modular {SOS}" "Proceedings of MFCS'99, 24th International Symposium on Mathematical Foundations of Computer Science" "1999" "70-80" "Springer LNCS 1672" "C. Braga" "H. Haeusler" "J. Meseguer" "P. Mosses" "Maude {Action} {Tool}: using reflection to map action semantics to rewriting logic" "Proceedings of AMAST'2000" "2000" "Springer LNCS" "To appear" "F. Parisi-Presicce" "S. Veglioni" "Heterogeneous unified algebras" "Proceedings of MFCS'93, 18th International Symposium on Mathematical Foundations of Computer Science" "1993" "618-628" "Springer LNCS 711" "Jos'e Meseguer" "Ugo Montanari" "Vladimiro Sassone" "On the model of computation of {Place/Transition} {Petri} nets" "Proceedings 15th International Conference on Application and Theory of Petri Nets" "1994" "16-38" "Springer LNCS 815" "Jos'e Meseguer" "Ugo Montanari" "Vladimiro Sassone" "Representation Theorems for {Petri} nets" "Foundations of Computer Science: Potential, Theory, Cognition" "C. Freska" "M. Jantzen" "R. Valk" "1997" "239-249" "Springer LNCS 1337" "Patrick Lincoln" "Narciso Mart'{i}-Oliet" "Jos'{e} Meseguer" "Livio Ricciulli" "Compiling rewriting onto {SIMD} and {MIMD/SIMD} machines" "Proceedings of PARLE'94, 6th International Conference on Parallel Architectures and Languages Europe" "1994" "37-48" "Springer LNCS 817" "Patrick Lincoln" "Jos'{e} Meseguer" "Livio Ricciulli" "The {Rewrite Rule Machine Node Architecture and its Performance}" "Proceedings of CONPAR'94, Linz, Austria, September 1994" "1994" "509-520" "Springer LNCS 854" "Jeffrey Arnold" "Duncan Buel" "Elaine Davis" "{SPLASH} 2" "Proceedings of the 1992 Symposium on Parallel Algorithms and Architectures" "1992" "ACM" "J. L. Fiadeiro" "T. Maibaum" "Interconnecting formalisms: supporting modularity, reuse and incrementality" "Proceedings of the 1995 SIGSOFT Conference, Washington DC, USA" "1995" "72-80" "ACM" "Timothy Winkler" "Programming in {OBJ} and {Maude}" "Peter Lauer" "Functional Programming, Concurrency, Simulation and Automated Reasoning" "1993" "229-277" "Springer LNCS 693" "Kokichi Futatsugi" "Joseph Goguen" "Jean-Pierre Jouannaud" "Jos'{e} Meseguer" "Principles of {OBJ}2" "1985" "Proceedings of 12th ACM Symposium on Principles of Programming Languages" "Brian Reid" "ACM" "52-66" "P. M. Hill" "J. W. Lloyd" "The {G\"odel} Language" "University of Bristol, Computer Science Department" "CSTR-92-27" "1992" "Wolfgang Schreiner" "Parallel functional programming: an annotated bibliography" "Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria" "1993" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Rewriting Logic as a Logical and Semantic Framework" "SRI International, Computer Science Laboratory" "SRI-CSL-93-05" "1993" "August" "To appear in D. Gabbay, ed., {em Handbook of Philosophical Logic/}, Kluwer Academic Publishers" "Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics" "Joseph Goguen" "Jos'{e} Meseguer" "Research Directions in Object-Oriented Programming" "Bruce Shriver" "Peter Wegner" "1987" "417-477" "MIT Press" "Jos'e Meseguer" "A Logical Theory of Concurrent Objects and its realization in the {Maude} Language" "Research Directions in Concurrent Object-Oriented Programming" "Gul Agha" "Peter Wegner" "Akinori Yonezawa" "1993" "314-390" "MIT Press" "Joseph Goguen" "Timothy Winkler" "Jos'e Meseguer" "Kokichi Futatsugi" "Jean-Pierre Jouannaud" "Introducing {OBJ}" "Software Engineering with OBJ: Algebraic Specification in Action" "3-167" "Kluwer" "J.A. Goguen" "G. Malcolm" "2000" "Satoshi Matsuoka" "Akinori Yonezawa" "Analysis of inheritance anomaly in object-oriented concurrent programming languages" "Research Directions in Concurrent Object-Oriented Programming" "Gul Agha" "Peter Wegner" "Akinori Yonezawa" "1993" "107-150" "MIT Press" "Peter Csaba {\"O}lveczky" "Jos'e Meseguer" "Specifying real-time systems in rewriting logic" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "C. L. Talcott" "An actor rewrite theory" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "C. L. Talcott" "An actor rewrite theory" "This volume" "R. Diaconescu" "Hidden sorted rewriting logic" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "M. Schorlemmer" "Bi-rewriting rewriting logic" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "C. Castro" "An approach to solving binary {CSP} using computational systems" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "A. Ciampolini" "E. Lamma" "P. Mello" "C. Stefanelli" "Distributed logic objects: a fragment of rewriting logic and its implementation" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "M. Wirsing" "A. Knapp" "A formal approach to object-oriented software engineering" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "Steven Eker" "Fast matching in combination of regular equational theories" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "Manuel Clavel" "Steven Eker" "Patrick Lincoln" "Jos'e Meseguer" "Principles of {Maude}" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "Manuel Clavel" "Jos'e Meseguer" "Reflection and strategies in rewriting logic" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "Manuel Clavel" "Jos'e Meseguer" "Reflection in conditional rewriting logic" "2000" "Submitted for publication" "P. Borovansk'y" "C. Kirchner" "H. Kirchner" "P.-E. Moreau" "M. Vittek" "{ELAN}: {A} logical framework based on computational systems" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "P. Borovansk'y" "C. Kirchner" "H. Kirchner" "Controlling rewriting by rewriting" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "H. Kirchner" "P.-E. Moreau" "Computational reflection and extension in {ELAN}" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "P. Viry" "Input/Output for {ELAN}" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "C. Landauer" "Discrete event systems in rewriting logic" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "U. Lechner" "Object-oriented specification of distributed systems in the $mu$-calculus and {Maude}" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "U. Lechner" "C. Lengauer" "Modal $mu$-{Maude}" "In {it Object Orientation with Parallelism and Persistence/}, B. Freitag, C.B. Jones, C. Lengauer and H.-J. Schek, editors, Kluwer, 1996" "Isabel Pita" "Narciso Mart'{i}-Oliet" "A {Maude} specification of an object oriented database model for telecommunication networks" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "Narciso Mart'{i}-Oliet" "Jos'e Meseguer" "Rewriting logic as a logical and semantic framework" "Proc. First Intl. Workshop on Rewriting Logic and its Applications" "1996" "J. Meseguer" "Elsevier" "4" "Electronic Notes in Theoretical Computer Science" "url{http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm}" "Jos'e Meseguer (ed.)" "{em Proc. First Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1996" "C. Kirchner" "H. Kirchner (eds.)" "{em Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications/}, {ENTCS}, {North Holland}, 1998" "U. Lechner" "C. Lengauer" "F. Nickl" "M. Wirsing" "How to overcome the inheritance anomaly" "in {it Proc.ECOOP'96/}, Springer LNCS, 1996" "Charles Leiserson" "{FAT-TREES}: Universal Networks for Hardware-Efficient Supercomputing" "MIT, Laboratory for Computer Science, November 1984" "C. Talcott" "Semantics of Component Based Distributed, Open, Heterogeneous Systems" "Manuscript, Stanford University, February 1995" "C. Talcott" "Concurrent Rewriting Interaction Semantics for Abstract Actor Systems" "Manuscript, Stanford University, September 1995" "Jos'e Meseguer" "Carolyn Talcott" "Reasoning theories and rewriting logic" "Manuscript, Stanford University, June 1996" "Dale Miller" "The $pi$-calculus as a theory in linear logic: preliminary results" "Computer Science Department, University of Pennsylvania, February 1992" "Bart Jacobs" "Categorical logic and type theory" "To be published by North-Holland" "Patrick Lincoln" "Jos'e Meseguer" "Babak Taheri" "Timothy Winkler" "Preliminary Estimates for the Use of the Splash {II} System in the Emulation of the Rewrite Rule Machine" "Manuscript, August 1992" "Joseph Goguen" "Jos'e Meseguer" "Software Componet Search" "September 1994. Submitted for publication" "C. Talcott" "Mathematical Foundations for Survivable Systems" "Proceedings of the $14^{\rm th}$ {IMACS} Congress, Atlanta, Georgia, July 1994" "Livio Ricciulli" "Patrick Lincoln" "Jos'e Meseguer" "Distributed simulation of parallel executions" "In {it Proc. 29th Ann. Simulation Symp.}, New Orleans, Louisiana, April 8--11 1996, IEEE" "Livio Ricciulli" "Patrick Lincoln" "Jos'e Meseguer" "Decoupled simulation of parallel computer systems" "SRI International, Computer Science Laboratory, March 1996" "Vladimiro Sassone" "Jos'e Meseguer" "Ugo Montanari" "Inductive Completion of Monoidal Categories and Infinite Net Computations" "Submitted for publication" "Adel Bouhoula" "Micha{\"e}l Rusinowitch" "Implicit Induction in Conditional Theories" "J. of Automated Reasoning" "14" "189-235" "1995" "Joseph Goguen" "Doan Nguyen" "Jos'e Meseguer" "Luqi" "Du Zhang" "Valdis Berzins" "Software Componet Search" "J. of Systems Integration" "6" "93-134" "1996" "P. Degano" "J. Meseguer" "U. Montanari" "Axiomatizing the Algebra of Net Computations and Processes" "1996" "Acta Informatica" "33" "641-667" "C. Beeri" "Theoretical Foundations for {OODB}'s -- {A} Personal Perspective" "IEEE Data Engineering Bulletin" "1991" "14" "2" "8-12" "Luca Cardelli" "A language with distributed scope" "Computing Systems" "1995" "8" "1" "27-59" "Akinori Yonezawa" "Satoshi Matsuoka" "Masahiro Yagusi" "Kenjiro Taura" "Implementing concurrent object-oriented languages on multicomputers" "IEEE Parallel and Distributed Technology Journal" "1993" "1" "2" "49-61" "M. Kifer" "G. Lausen" "{F}-Logic: {A} Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme" "Proc. ACM SIGMOD" "1989" "134-146" "Jos'e Meseguer" "Xiaolei Qian" "A Logical Semantics for Object-Oriented Databases" "Proc. International SIGMOD Conference on Management of Data" "1993" "ACM" "89-98" "S. Abiteboul" "P. Kanellakis" "The Two Facets of Object-Oriented Data Models" "IEEE Data Engineering Bulletin" "1991" "14" "2" "3-7" "S. Abiteboul" "P. Kanellakis" "Object Identity as a Query Language Primitive" "Proc. ACM SIGMOD" "1989" "159-173" "S. Abiteboul" "A. Bonner" "Objects and Views" "Proc. ACM SIGMOD" "1991" "238-247" "S. Abiteboul" "P. Kanellakis" "E. Waller" "Method Schemas" "Proc. 9th PODS" "1990" "ACM" "16-27" "E. Bertino" "A View Mechanism for Object-Oriented Databases" "Proc. EDBT" "1992" "136-151" "Springer LNCS 580" "W. Chen" "M. Kifer" "D. S. Warren" "HiLog as a Platform for Database Languages (or Why Predicate Calculus is not Enough)" "Proc. 2nd Int'l Workshop on Database Programming Languages" "1989" "315-329" "Kokichi Futatsugi" "Trends in Formal Specification Methods based on Algebraic Specification Techniques -- from Abstract Data Types to Software Processes: {A} Personal Perspective --" "Proceedings of the International Conference of Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90)" "IPSJ" "1990" "October" "59-66" "ISO" "{IS8807} : Information Processing Systems - Open System Interconnection - {LOTOS} - {A} formal description technique based on the temporal ordering of observational behavior" "1989" "February" "ISO" "CafeOBJ-Project" "Proceedings of the {CafeOBJ} Symposium'98, Numazu, Japan" "1998" "April" "ITU-T" "Recommendation {X}.903 | {ISO}/{IEC} International Standard 10746--3: ``{ODP} Reference Model: Prescriptive Model''" "1995" "ISO" "K. Ohmaki" "K. Futatsugi" "K. Takahashi" "A Basic {LOTOS} Simulator in {OBJ}" "Proceedings of the International Conference of Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90)" "IPSJ" "1990" "October" "497-504" "Stanley Peters" "An architecture and a language for software agents communicating to solve problems cooperatively" "1992" "In preparation" "Wesley Phoa" "Using fibrations to understand subtypes" "1992" "To appear in M. Fourman, P. Johnstone, and A. Pitts (eds.) {it Proc. Symp. on Applications of Categories in Computer Science, Durham, 1991}, Cambridge University Press" "J. R. B. Cockett" "R. A. G. Seely" "Weakly distributive categories" "1992" "M. Fourman" "P. Johnstone" "A. Pitts" "Proc. Symp. on Applications of Categories in Computer Science, Durham, 1991" "Cambridge University Press" "45-65" "Pierre-Louis Curien" "Giorgio Ghelli" "Coherence and Subsumption" "1991" "To appear in {it Mathematical Structures in Computer Science}" "Egidio Astesiano" "Gianna Reggio" "Algebraic Specification of Concurrency" "1992" "To appear in {it Proceedings of the ADT'91 Workshop}, Springer LNCS" "Jonathan Ginzburg" "Embedding questions: {Facts} and questions" "1992" "In preparation" "R. Burstall" "R. Diaconescu" "Hiding and Behaviour: An Institutional Approach" "Laboratory for Foundations of Computer Science, University of Edinburgh" "1992" "ECS-LFCS-92-253" "December" "M. Wirsing" "F. Nickl" "U. Lechner" "Concurrent object-oriented design specification in {SPECTRUM}" "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen" "1995" "P. Kosiuczenko" "M. Wirsing" "Timed rewriting logic with application to object-oriented specification" "Institut f{\"u}r Informatik, Universit{\"a}t M{\"u}nchen" "1995" "Johan Lilius" "Sheaf semantics for {P}etri nets" "1992" "To appear as Technical report, Helsinki University of Technology" "William Tracz" "Formal specification of parameterized programs in {LILEANNA}" "1993" "Manuscript, Version 7.0" "Kristen Nygaard" "Basic concepts in object-oriented programming" "1986" "Lecture and paper delivered at the Object-Oriented Programming Workshop held at Yorktwon Heights, New Yor, June 9-13, 1986; abstract in {it Sigplan Notices}, 21, No. 10, page 187, October 1986" "Lincoln Wallen" "A constructive interpretation of proof search" "1992" "To appear" "Han Yan" "Joseph Goguen" "Tom Kemp" "Proving properties of partial functions with sort constraints" "1992" "To appear" "Joseph Goguen" "Algebraic semantics for the object paradigm" "1992" "To appear" "Ru{a}zvan Diaconescu" "Joseph Goguen" "Petros Stefaneas" "Logical support for modularisation" "1992" "To appear, {em Proceedings/} of Workshop on Logical Frameworks (Edinburgh, Scotland, May 1991)" "J. Hardy" "B. Hasslacher" "Y. Pomeau" "Lattice Gas Automata for the {Navier-Stokes} Equation" "Physical Review Letters" "56" "1986" "1505" "{HOT} Chips {III}" "HOT Chips" "Record of Symposium held at Stanford University August 26--27, 1991" "1991" "IEEE" "Ulrich Schmidt" "Knut Caesar" "Datawave: {A} Single-Chip Multiprocessor for Video Applications" "IEEE Micro" "{IEEE} Computer Society" "11" "3" "22-25" "June" "1991" "Patrick Hayes" "The second naive physics manifesto" "Readings in Knowledge Representation" "Ronald Brachman" "Hector Levesque" "467-485" "1985" "Morgan Kaufmann" "Nancy Lynch" "Distributed Algorithms" "1996" "Morgan Kaufmann" "S. Borkar" "R. Cohn" "G. Cox" "H. T. Kung" "M. Lam" "B. Moore" "C. Peterson" "J. Pieper" "L. Rankin" "P. S. Tseng" "J. Sutton" "J. Urbanski" "J. Webb" "{iWARP}: an integrated solution to high-speed parallel computing" "Proceedings of Supercomputing '88" "IEEE Press" "330-339" "1988" "H. Aida" "J. Goguen" "S. Leinwand" "P. Lincoln" "J. Meseguer" "B. Taheri" "T. Winkler" "Simulation and Performance Estimation for the Rewrite Rule Machine" "Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation" "336-344" "1992" "IEEE" "G. Bracha" "G. Lindstrom" "Modularity meets inheritance" "Proceedings of the International Conference on Computer Languages" "282-290" "1992" "IEEE" "D. Decouchant" "P. Le Dot" "M. Riveill" "C. Roisin" "X. Rousett de Pina" "A synchronization mechanism for an object-oriented distributed system" "Proceedings of the Eleventh International Conference on Distributed Computing Systems" "152-159" "1991" "IEEE" "Joseph Goguen" "Jos'e Meseguer" "Security policies and security models" "Proceedings of the 1982 Symposium on Security and Privacy" "11-20" "1982" "IEEE" "Joseph Goguen" "Jos'e Meseguer" "Unwinding and inference control" "Proceedings of the 1984 Symposium on Security and Privacy" "75-86" "1984" "IEEE" "Denis Caromel" "Concurrency and reusability: from sequential to parallel" "Journal of Object-Oriented Programming" "1990" "September/October" "34-42" "C. Weems" "E. Riseman" "A. Hamson" "The {DARPA} Image Understanding Benchmark for Parallel Computers" "Journal of Parallel and Distributed Computing" "1991" "11" "1" "1-24" "R. Davis" "R. G. Smith" "Negotiation as a metaphor for distributed problem solving" "Artificial Intelligence" "1983" "20" "1" "63-109" "M. Wand" "D. P. Friedman" "The mystery of the tower revealed: a non-reflective description of the reflective tower" "Lisp and Symbolic Computation" "1988" "1" "1" "11-38" "Christoph Walther" "A mechanical solution to {Schubert's} steamroller by many-sorted resolution" "Artificial Intelligence" "1985" "26" "2" "217-224" "John Hayes" "Trevor Mudge" "Hypercube supercomputers" "Proceedings of the IEEE" "1989" "77" "12" "1829-1841" "Nils Nilsson" "Logic and artificial intelligence" "Artificial Intelligence" "1991" "47" "31-56" "Jos'{e} Meseguer" "Ugo Montanari" "Petri Nets Are Monoids" "Information and Computation" "1990" "88" "105-155" "Andrea Asperti" "Simone Martini" "Categorical models of polymorphism" "Information and Computation" "1992" "99" "1-79" "David Mac{Queen}" "Modules for Standard {ML}" "Polymorphism" "1985" "2" "2" "October" "Earlier version appeared in Proc. 1984 ACM Symp. on Lisp and Functional Programming" "L. Moss" "J. Meseguer"