Algebra transformation systems and their composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1382, Issue , 1998, Pages 107-122

  Große Rhode, Martin ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FLOW GRAPHS; METALS; NETWORK SECURITY; SOFTWARE ENGINEERING; SPECIFICATIONS;

ALGEBRA TRANSFORMATION SYSTEMS; ALGEBRAIC SPECIFICATIONS; LABELLED TRANSITION SYSTEMS; OPEN DISTRIBUTED SYSTEMS; RULE-BASED SPECIFICATION; SEQUENTIAL COMPOSITIONS; TRANSITION GRAPHS; TWO-LEVEL STRUCTURES;

ALGEBRA;

EID: 84957087530     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (16)

1. [AZ95] E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Math. Struct, in Comp. Sci., 5(2): 257-282, 1995.
2. [BG77] R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proc. Int. Conf. Artificial Intelligence, 1977.
3. [BT96] M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In Proc. CAAP'96, Springer LNCS 1059. 1996.
4. [CGW95] I. Clafien, M. Große-Rhode, and U. Wolter. Categorical concepts for parameterized partial specifications. Math. Struct, in Comp. Science, 5(2): 153-188, 1995.
5. [DG94] P. Dauchy and M. C. Gaudel. Algebraic specifications with implicit states. Tech. Report, Univ. Paris Sud, 1994.
6. [EM85] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.
7. [FM92] J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specifications. Formal Aspects of Computing, 4(3): 239-272, 1992.
8. [Fia97] J. L. Fiadeiro. Algebraic semantics of coordination. Talk given at the 12th Workshop on Algebraic Development Techniques, Tarquinia, Italy, 1997.
9. [GB92] J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1): 95-146, January 1992.
10. [Gro96] M. Grofie-Rhode. First steps towards an institution of algebra replacement systems. Technical Report 96-44, Technische Universitãt Berlin, 1996. Also available under http://tfs. cs. tu-berlin. de/mgr.
11. [Gro97] M. Grofie-Rhode. Sequential and parallel algebra transformation systems and their composition. Technical Report 97-07, Università di Roma La Sapienza, Dip. Scienze dell'Informazione, 1997. Also available under http://tfs. cs. tu-berlin. de/* mgr.
12. [Gur94] Y. Gurevich. Evolving algebra 1993. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1994.
13. [ODP] ISO/IEC International Standard 10746, ITU-T Recommendation X. 901-X. 904: Reference model of open distributed processing-Parts 1-4.
14. [Rei87] H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, Oxford, 1987.
15. [WN95] G. Winskel and M. Nielson. Models for concurrency. In Handbook of Logic in Computer Science. Oxford University Press, 1995.
16. [Zuc96] E. Zucca. From static to dynamic abstract data-types. In W. Penczek and A. Szalas, editors, Mathematical Foundations of Computer Science 1996, volume 1113 of Lecture Notes in Computer Science, pages 579-590. Springer Verlag, 1996.