IOP: The interOperability platform & IMaude: An interactive extension of Maude

Electronic Notes in Theoretical Computer Science

Volumn 117, Issue SPEC. ISS., 2005, Pages 315-333

  Mason, Ian A ^a   Talcott, Carolyn L ^b  

^a UNIVERSITY OF NEW ENGLAND   (Australia)

^b SRI INTERNATIONAL   (United States)

Author keywords

Interoperability; Rewriting logic; Visualization

Indexed keywords

COMMUNICATION; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; GRAPHIC METHODS; INTERFACES (COMPUTER); INTEROPERABILITY; VISUALIZATION;

COMMUNICATION INTERFACES; FORMAL REASONING TOOLS; PERL SCRIPTS; REWRITING LOGIC;

LOGIC PROGRAMMING;

EID: 12344321552     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.016     Document Type: Conference Paper

References (21)

1. http://maude.cs.uiuc.edu The Maude Homepage
2. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and C. Talcott Maude 2.0 Manual http://maude.csl.sri.com/ maude2-manual 2003
3. Henry G. Baker and Carl Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987-992. IFIP, August 1977
4. G. Agha Actors: A Model of Concurrent Computation in Distributed Systems 1986 MIT Press Cambridge, Mass.
5. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, and C. Talcott Pathway Logic: Executable models of biological networks Fourth International Workshop on Rewriting Logic and Its Applications Electronic Notes in Theoretical Computer Science volume 71 2002 Elsevier
6. C. Talcott, S. Eker, M. Knapp, P. Lincoln, and K. Laderoute. Pathway logic modeling of protein functional domains in signal transduction. In Proceedings of the Pacific Symposium on Biocomputing, January 2004
7. http://www.csl.sri.com/users/clt/PLWeb/ 2004 Pathway Logic
8. Francisco Durán, Steven Eker, Patrick Lincoln, and José Meseguer Principles of Mobile Maude Agent Systems, Mobile Agents, and Applications ASA/MA 2000 Lecture Notes in Computer Science volume 1882 2000 Springer-Verlag 73 85
9. J. Meseguer, and C.L. Talcott Semantic models for distributed object reflection European Conference on Object-Oriented Programming ECOOP'2002 Lecture Notes in Computer Science volume 2374 2002 1 36 invited paper
10. Grit Denker, and Carolyn Talcott Maude specification of the MDS architecture and examples Fifth International Workshop on Rewriting Logic and Its Applications (WRLA'2004) 2004 this proceedings
11. http://www.csl.sri.com/users/denker/remoteAgents/ 2004 Formal checklists for remote agent dependability
12. http://www.unix-systems.org The Single UNIX Specification Version 3 Homepage
13. http://sources.redhat.com/pthreads-win32/ The Open Source POSIX Threads for Win32 Homepage
14. Ian A. Mason, and Carolyn C. Talcott The IOP Manual http://mcs.une.edu.au/~iam/IOP/
15. http://www.research.att.com/sw/tools/graphviz/ The GraphViz Homepage
16. Joel Bartlett Ezd - easy-to-use structured graphics for Java http://research.compaq.com/wrl/projects/Ezd/home.html
17. G. Agha, I.A. Mason, S.F. Smith, and C.L. Talcott A foundation for actor computation Journal of Functional Programming 7 1997 1 72
18. C.L. Talcott Actor theories in rewriting logic Theoretical Computer Science 285 2 2002
19. Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson Arrows, robots, and functional reactive programming Summer School on Advanced Functional Programming 2002, Oxford University Lecture Notes in Computer Science 2003 Springer-Verlag To Appear
20. J.A. Bergstra, and P. Klint The discrete time toolbus - a software coordination architecture Science of Computer Programming 31 1998 205 229
21. M. Hucka, A. Finney, H. Sauro, H. Bolouri, J. Doyle, and H. Kitano. The ERATO systems biology workbench: Enabling interaction and exchange between software tools for computational biology. In Proceedings of the Pacific Symposium on Biocomputing, 2002