SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 260, Issue 1-2, 2001, Pages 27-55

A Coalgebraic presentation of structured transition systems

(3) Corradini, Andrea a Große Rhode, Martin b Heckel, Reiko c

a UNIVERSITY OF PISA (Italy)

b TECHNISCHE UNIVERSITÄT BERLIN (Germany)

c UNIVERSITY OF PADERBORN (Germany)

Author keywords

Bialgebras; Lax coalgebra morphisms; Structured coalgebras; Transition systems

Indexed keywords

ALGEBRA; CONCURRENCY CONTROL; DATA STRUCTURES; MATHEMATICAL MORPHOLOGY;

COALGEBRAIC PRESENTATIONS; STRUCTURED TRANSITION SYSTEMS;

COMPUTATIONAL LINGUISTICS;

EID: 0034925176 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00121-3 Document Type: Article

Times cited : (13)

References (38)

1
- 0003253658
- Non-well-founded sets
- Stanford
- (1988) CSLI Lecture Notes , vol.14
- Aczel, P.¹

2
- 0029229420
- Bisimulation can't be traced
- (1995) J. ACM , vol.42 , Issue.1 , pp. 232-268
- Bloom, B.¹ Istrail, S.² Meyer, A.R.³

3
- 0002538424
- A 2-categorical approach to change of base and geometric morphisms I
- (1991) Cahiers Topologie Geom. Differentielle Categoriques , vol.32 , pp. 47-95
- Carboni, A.¹ Kelly, G.M.² Wood, R.J.³

4
- 0004466754
- A categorical model for logic programs: Indexed monoidal categories
- J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.) [9]
- (1993)
- Corradini, A.¹ Asperti, A.²

5
- 84949190427
- A 2-categorical presentation of term graph rewriting
- E. Moggi, G. Rosolini (Eds.), Category Theory and Computer Science (CTCS'97), Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1290
- Corradini, A.¹ Gadducci, F.²

6
- 0003308606
- An algebra of graph derivations using finite (co-) limit double theories
- J.L. Fiadeiro (Ed.), Proc. 13th Workshop on Algebraic Development Techniques, (WADT'98), Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1589
- Corradini, A.¹ Große-Rhode, M.² Heckel, R.³

7
- 18944385550
- From SOS specifications to structured coalgebras: How to make bisimulation a congruence
- B. Jacobs, J. Rutten (Eds.), Amsterdam, The Netherlands, Electronic Notes of Theoretical Computer Science, Elsevier, Amsterdam
- (1999) 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS'99) , vol.19
- Corradini, A.¹ Heckel, R.² Montanari, U.³

8
- 0026909667
- An algebraic semantics for structured transition systems and its application to logic programs
- (1992) Theoret. Comput. Sci. , vol.103 , pp. 51-106
- Corradini, A.¹ Montanari, U.²

9
- 0004488858
- Beekbergen, The Netherlands, Lecture Notes in Computer Science, Springer, Berlin
- (1992) Proc. REX Workshop on Semantics: Foundations and Applications , vol.666
- De Bakker, J.W.¹ De Roever, W.-P.² Rozenberg, G.³

10
- 0022186092
- Higher level synchronizing devices in MEIJE-SCCS
- (1985) Theoret. Comput. Sci. , vol.37 , pp. 245-267
- De Simone, R.¹

11
- 84957891900
- An inductive view of graph transformation
- F. Parisi Presicce (Ed.), Recent Trends in Algebraic Development Techniques, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 223-237
- Gadducci, F.¹ Heckel, R.²

12
- 0000198242
- Structured operational semantics and bisimulation as a congruence
- (1992) Inform. Comput. , vol.100 , pp. 202-260
- Groote, J.F.¹ Vandraager, F.²

13
- 0003898422
- Ph.D. Thesis, TU Berlin
- (1998) Open graph transformation systems: a new approach to the compositional modelling of concurrent and reactive systems
- Heckel, R.¹

14
- 0004529645
- Lisbon, Portugal, Electronic Notes of Theoretical Computer Science, Elsevier, Amsterdam
- (1998) 1st Workshop on Coalgebraic Methods in Computer Science (CMCS'98) , vol.11
- Jacobs, B.¹ Moss, L.² Reichel, H.³ Rutten, J.⁴

15
- 0004531262
- Amsterdam, The Netherlands, Electronic Notes of Theoretical Computer Science, Elsevier, Amsterdam
- (1999) 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS'99) , vol.19
- Jacobs, B.¹ Rutten, J.²

16
- 0000999464
- Adjont lifting theorems for categories of algebras
- (1975) Bull. London Math. Soc. , vol.7 , pp. 294-297
- Johnstone, P.T.¹

17
- 0001452223
- Bisimulation from open maps
- (1996) Inform. Comput. , vol.127 , pp. 164-185
- Joyal, A.¹ Nielsen, M.² Winskel, G.³

18
- 0016972709
- Formal verifications of parallel programs
- (1976) Comm. ACM , vol.7 , pp. 371-384
- Keller, R.¹

19
- 18944362489
- Coalgebra morphisms subsume open maps
- B. Jacobs, J. Rutten (Eds.), Amsterdam, The Netherlands, Electronic Notes of Theoretical Computer Science, Elsevier, Amsterdam
- (1999) 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS'99) , vol.19
- Lasota, S.¹

20
- 0003356529
- Categories for the working mathematician
- Springer, New York
- (1971) Graduate Texts in Mathematics , vol.5
- Mac Lane, S.¹

21
- 0004525559
- Towards a unified view of bisimulation: A comparative study
- (2000) Theoret. Comput. Sci. , vol.238 , pp. 81-130
- Majster-Cederbaum, M.¹ Roggenbach, M.²

22
- 0025500231
- Petri nets are monoids
- (1990) Inform. Comput. , vol.88 , Issue.2 , pp. 105-155
- Meseguer, J.¹ Montanari, U.²

23
- 0003954103
- Prentice-Hall, Englewood Cliffs, NJ
- (1989) Communication and Concurrency
- Milner, R.¹

24
- 0001025476
- Dynamic congruence vs. progressing bisimulation for CCS
- (1992) Fund. Inform. , vol.16 , pp. 171-199
- Montanari, U.¹ Sassone, V.²

25
- 0003931061
- Technical Report DAIMI FN-19, Aarhus University, Computer Science Department
- (1981) A structural approach to operational semantics
- Plotkin, G.¹

26
- 84971848008
- Processes as terms: Non-well-founded models for bisimulation
- (1992) Math. Struct. Comput. Sci. , vol.2 , pp. 257-275
- Rutten, J.J.M.M.¹

27
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.J.M.M.¹

28
- 84945953914
- Automata and coinduction (an exercise in coalgebra)
- Nice, France, Lecture Notes in Computer Science, Springer, Berlin
- (1998) Proc. 9th Internat. Conf. on Concurrency Theory, Concur'98 , vol.1466
- Rutten, J.J.M.M.¹

29
- 0001929530
- Relators and metric bisimulations
- B. Jacobs, L. Moss, H. Reichel, J. Rutten (Eds.), Lisbon, Portugal, Electronic Notes of Theoretical Computer Science, Elsevier, Amsterdam
- (1998) 1st Workshop on Coalgebraic Methods in Computer Science (CMCS'98) , vol.11
- Rutten, J.J.M.M.¹

30
- 0004532412
- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
- J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.)
- (1993) , vol.9
- Rutten, J.J.M.M.¹ Turi, D.²

31
- 0004469491
- Initial algebra and final co-algebra semantics for concurrency
- J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.), Noordwijkerhout, The Netherlands, Lecture Notes in Computer Science, Springer, Berlin
- (1993) Proc. REX School/Symp. on a Decade of Concurrency , vol.803
- Rutten, J.J.M.M.¹ Turi, D.²

32
- 0004507236
- Ph.D. Thesis, Rijkhsuniversiteit Groningen
- (1996) Simulation and fixpoint semantics
- Thijs, A.M.¹

33
- 0003998820
- Ph.D. Thesis, Free University, Amsterdam
- (1996) Functorial operational semantics and its denotational dual
- Turi, D.¹

34
- 0004531264
- On final semantics for applicative and non-deterministic languages
- (1993) Proc. 5th Biennial Meeting on Category Theory in Computer Science
- Turi, D.¹ Jacobs, B.²

35
- 0030684322
- Towards a mathematical operational semantics
- (1997) Proc. LICS'97 , pp. 280-305
- Turi, D.¹ Plotkin, G.²

36
- 0002781743
- Correspondence theory
- D. Gabbay, F. Günther (Eds.), Reidel, Dordrecht
- (1984) Handbook of Philosophical Logic , vol.2 , pp. 167-248
- Van Benthem, J.¹

37
- 0025464366
- A Compositional proof system on a category of labelled transition systems
- (1990) Inform. Comput. , vol.87 , pp. 2-57
- Winskel, G.¹

38
- 0002659052
- Models for concurrency
- S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Oxford University Press, Oxford
- (1995) Handbook of Logic in Computer Science, Semantic Modelling , vol.4 , pp. 1-148
- Winskel, G.¹ Nielsen, M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.