SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 286, Issue 2, 2002, Pages 247-292

Normal forms for algebras of connections

(3) Bruni, Roberto a Gadducci, Fabio a Montanari, Ugo a

a UNIVERSITY OF PISA (Italy)

Author keywords

Concurrent and distributed systems; Diagrammatic specification techniques; Graphical formalisms

Indexed keywords

ALGEBRA; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATION THEORY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONCURRENCY CONTROL; LOGIC PROGRAMMING; TOPOLOGY; TREES (MATHEMATICS);

FUNCTIONAL PROGRAMMING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0037125847 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00318-8 Document Type: Conference Paper

Times cited : (35)

References (39)

1
- 0000061427
- Interaction categories and the foundations of typed concurrent programming
- Broy M. (Ed.), Nato ASI Series F, Springer, Berlin
- (1996) Proc. 1994 Marktoberdorf Summer School on Deductive Program Design , vol.152 , pp. 403-442
- Abramsky, S.¹ Gay, S.² Nagarajan, R.³

2
- 0030170128
- Equational term graph rewriting
- (1996) Fundamenta Informaticae , vol.26 , pp. 207-240
- Ariola, Z.M.¹ Klop, J.W.²

3
- 84947921177
- Term graph rewriting
- de Bakker J.W., Nijman A.J., Treleaven P.C. (Eds.), Proc. PARLE'87, Parallel Architectures and Languages Europe, Springer Berlin
- (1987) Lecture Notes in Computer Science , vol.259 , pp. 141-158
- Barendregt, H.P.¹ Van Eekelen, M.C.J.D.² Glauert, J.R.W.³ Kennaway, J.R.⁴ Plasmeijer, M.J.⁵ Sleep, M.R.⁶

4
- 0004011921
- Ph.D. Thesis TD-01/99, University of Pisa, Department of Computer Science
- (1998) Tile Logic for Synchronized Rewriting of Concurrent Systems
- Bruni, R.¹

5
- 0003544470
- Technical Report SRI-CSL-98-06, SRI International, Also Technical Report TR-98-09, University of Pisa, Department of Computer Science, 1998.
- (1998) Process and term tile logic
- Bruni, R.¹ Meseguer, J.² Montanari, U.³

6
- 18944375963
- Functorial semantics of Petri nets under the individual token philosophy
- Hofmann M., Pavlovic̀ D., Rosolini G. (Eds.), Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science, Elsevier Sciences Amsterdam
- (1999) Proc. CTCS'99 , vol.29
- Bruni, R.¹ Montanari, U.² Meseguer, J.³ Sassone, V.⁴

7
- 0025447825
- Towards a new algebraic foundation of flowchart scheme theory
- (1990) Fundamenta Informaticae , vol.13 , pp. 171-210
- Cazanescu, V.-E.¹ Ştefanescu, Gh.²

8
- 0001015320
- Classes of finite relations as initial abstract data types I
- (1991) Discrete Mathematics , vol.90 , pp. 233-265
- Cazanescu, V.-E.¹ Ştefanescu, Gh.²

9
- 0003895448
- (1999) Maude: Specification and programming in rewriting logic
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.⁷

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

11
- 0000262514
- An algebraic presentation of term graphs, via gs-monoidal categories
- (1999) Appl. Categor. Struct. , vol.7 , pp. 299-331
- Corradini, A.¹ Gadducci, F.²

12
- 84957712838
- Functorial semantics for multi-algebras
- Fiadeiro J.L. (Ed.), Proc. WADT'98, Recent Trends in Algebraic Development Techniques, Springer Berlin
- (1999) Lecture Notes in Computer Science , vol.1589 , pp. 78-90
- Corradini, A.¹ Gadducci, F.²

13
- 0030523615
- Axiomatizing the algebra of net computations and processes
- (1996) Acta Informatica , vol.33 , pp. 641-667
- Degano, P.¹ Meseguer, J.² Montanari, U.³

14
- 0034627953
- Tile formats for located and mobile systems
- (2000) Inform. Comput. , vol.156 , pp. 173-235
- Ferrari, G.¹ Montanari, U.²

15
- 84957891900
- An inductive view of graph transformation
- Parisi-Presicce F. (Ed.), Proc. WADT'97, Recent Trends in Algebraic Development Techniques, Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 219-233
- Gadducci, F.¹ Heckel, R.²

16
- 18544372400
- A bi-categorical axiomatisation of concurrent graph rewriting
- Hofmann M., Pavlovic̀ D., Rosolini G. (Eds.), Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science, Elsevier Sciences Amsterdam
- (1999) Proc. CTCS'99 , vol.29
- Gadducci, F.¹ Heckel, R.² Llabrés, M.³

17
- 84878572847
- Axioms for contextual net processes
- Larsen K.G., Skyum S., Winskel G. (Eds.) Proc. ICALP'98, Automata, Languages and Programming, Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1443 , pp. 296-308
- Gadducci, F.¹ Montanari, U.²

18
- 0003364293
- The tile model
- Plotkin G., Stirling C., Tofte M. (Eds.), MIT Press, Cambridge, MA
- (2000) Proof, Language and Interaction: Essays in Honour of Robin Milner
- Gadducci, F.¹ Montanari, U.²

19
- 0004104666
- MIT Press, Cambridge, MA
- (1997) Algebraic Semantics of Imperative Programs
- Goguen, J.¹ Malcolm, G.²

20
- 84958962360
- Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda-calculus
- De Groote Ph., Hindly R. (Eds.), Proc. TLCA'97, Typed Lambda Calculi and Applications, Springer Berlin
- (1997) Lecture Notes in Computer Science , vol.1210 , pp. 196-213
- Hasegawa, M.¹

21
- 0001359756
- On partial algebras
- Csákány B., Fried E., Schmidt E.T. (Eds.), North-Holland Amsterdam
- (1977) Universal Algebra, Colloquia Mathematica Societatis János Bolyai , vol.29 , pp. 373-412
- Hoenke, H.-J.¹

22
- 0031588671
- Bicategories of processes
- (1997) J. Pure Appl. Algeb. , vol.115 , pp. 141-178
- Katis, P.¹ Sabadini, N.² Walters, R.F.C.³

23
- 84947918891
- SPAN(Graph): A categorical algebra of transition systems
- Johnson M. (ed.), Proc. AMAST'97, Algebraic Methodology and Software Technology, Springer Berlin
- (1997) Lecture Notes in Computer Science , vol.1349 , pp. 307-321
- Katis, P.¹ Sabadini, N.² Walters, R.F.C.³

24
- 0000504637
- Functorial semantics of algebraic theories
- (1963) Proc. Nat. Acad. Sci. , vol.50 , pp. 869-872
- Lawvere, F.W.¹

25
- 0003969139
- Springer Berlin
- (1971) Categories for the Working Mathematician
- Mac Lane, S.¹

26
- 0003146836
- Natural associativity and commutativity
- (1963) Rice Univ. Stud. , vol.49 , pp. 28-46
- MacLane, S.¹

27
- 84957873927
- Membership algebra as a logical framework for equational specification
- Parisi-Presicce F. (Ed.), Proc. WADT'97, Recent Trends in Algebraic Development Techniques, Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 18-61
- Meseguer, J.¹

28
- 84957880351
- Mapping tile logic into rewriting logic
- Parisi-Presicce F. (Ed.), Proc. WADT'97, Recent Trends in Algebraic Development Techniques, Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 219-233
- Meseguer, J.¹ Montanari, U.²

29
- 0009957327
- Representation theorems for Petri nets
- Freksa C., Jantzen M., Valk R. (Eds.), Foundations of Computer Science: Potential-Theory-Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, Springer Berlin
- (1997) Lecture Notes in Computer Science , vol.1337 , pp. 239-249
- Meseguer, J.¹ Montanari, U.² Sassone, V.³

30
- 0030517494
- Calculi for interaction
- (1996) Acta Informatica , vol.33 , pp. 707-737
- Milner, R.¹

31
- 21844489027
- Contextual nets
- (1995) Acta Informatica , vol.32 , pp. 545-596
- Montanari, U.¹ Rossi, F.²

32
- 0005340157
- Graph rewriting, constraint solving and tiles for coordinating distributed systems
- (1999) Appl. Categor. Struct. , vol.7 , pp. 333-370
- Montanari, U.¹ Rossi, F.²

33
- 0003658204
- Technical Report 95-22, University of Munich, Department of Mathematics
- (1974) Universal algebra in s-monoidal categories
- Pfender, M.¹

34
- 84887466617
- Premonoidal categories and notions of computation
- (1998) Math. Struct. Comput. Sci. , vol.7 , pp. 453-468
- Power, J.¹ Robinson, E.²

35
- 0002439738
- Categories of partial maps
- (1988) Inform. Comput. , vol.79 , pp. 95-130
- Robinson, E.¹ Rosolini, G.²

36
- 0347529724
- On the Semantics of Petri Nets: Processes
- Ph.D. Thesis TD-06/94, University of Pisa, Department of Computer Science
- (1994) Unfolding and Infinite Computations
- Sassone, V.¹

37
- 0030400432
- An axiomatization of the algebra of Petri net concatenable processes
- (1996) Theoret. Comput. Sci. , vol.170 , pp. 277-296
- Sassone, V.¹

38
- 0023541962
- On flowchart theories: Part II. The nondeterministic case
- (1987) Theoret. Comput. Sci. , vol.52 , pp. 307-340
- Ştefanescu, Gh.¹

39
- 0004149042
- Springer Berlin
- (2000) Network Algebra
- Ştefanescu, Gh.¹

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