Thomas F. Gritzner  Home/Search
Context
Related
| www4.informatik.tumu...TUMI9207.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.informatik.tum...Literature (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Relation Algebras and Process-Algebraic Specifications Thomas F: Gritzner Institut fur Informatik Technische Universitat Munchen Postfach 20 24 20, Arcisstr. 21 W--8000 Munchen 2 (Germany) Abstract. Relational algebra in the sense of Schroder and Tarski has been thoroughly studied by mathematicians from the universal algebraic viewpoint and some research has shown many applications of the relational calculus in the fields of graph theory and computer science. This paper addresses the... (Update)
Active bibliography (related documents): More All
0.5: RALL: Machine-supported Proofs for Relation Algebra - von Oheimb, Gritzner (1997) (Correct)
0.5: Relational Treatment of Term Graphs With Bound Variables - Kahl (1998) (Correct)
0.4: Some Classes Containing a Fork Algebra Equivalent Variety.. - Durán (1996) (Correct)
Similar documents based on text: More All
0.1: Prototyping Relational Specifications Using Higher-Order.. - Berghammer, Gritzner.. (1994) (Correct)
0.1: A Formally Verified High-Level Synthesis Front-end.. - Richard Chapman (Correct)
0.1: A Simple Toy Example of a Distributed System: On the Design of a .. - Gritzner (Correct)
BibTeX entry: (Update)
@techreport{ gritzner92action,
author = "Thomas F. Gritzner",
title = "The Action Graph Model as a link between abstract relation algebras and process-algebraic specifications",
number = "TUM-I9207",
year = "1992",
url = "citeseer.ist.psu.edu/275723.html" }
Citations (may not include all citations):125 Event structures (context) - Winskel - 1987
97 A Formalization of Set Theory Without Variables (context) - Tarski, Givant - 1987
95 The linear time -- branching time spectrum (context) - van Glabbeek - 1990
78 Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986
71 Modelling concurrency with partial orders - Pratt - 1986
34 Concurrent Dynamic Logic (context) - Peleg - 1987
33 Decomposition of distributed programs into communication clo.. (context) - Tz - 1982
24 The weakest prespecification (context) - Hoare - 1986
23 Action systems and action refinement in the development of p.. (context) - Janssen, Poel et al. - 1991
22 Process algebra: Specification and verification in bisimulat.. (context) - Bergstra, Klop - 1986
19 Relations and Graphs (context) - Schmidt
10 Programs as partial graphs I: flow equivalence and correctne.. (context) - Schmidt - 1981
9 Some sufficient conditions for the representability of relat.. (context) - Maddux - 1978
8 unfoldments and equivalence of flow diagram programs (context) - Goguen - 1974
5 Semantics of concurrent processes: the search for structure .. (context) - Olderog - 1986
4 Die Axiomatik abstrakter Relationenalgebren: Darstellung der.. (context) - Gritzner - 1991
4 Finite integral relation algebras - Maddux - 1985
2 Programmierung mit Funktionsobjekten: Konstruktive Erzeugung.. (context) - Zierer - 1988
1 Untersuchung paralleler Programme mit relationenalgebraische.. (context) - Cardoso - 1982
1 available as Internal Report No (context) - Paech, Concurrency - 1991
1 Operational and denotational semantics with explicit concurr.. (context) - Broy - 1992
1 Parallelism algebras: a link between process algebras and ab.. (context) - Gritzner, Broy - 1991
1 Relating relational products to categorical products (context) - Leischner, Gritzner - 1992
1 avail- able via anonymous ftp from boole (context) - Pratt - 1992
1 A formalization of various parameter mechanisms as products .. (context) - de Roever - 1972
Documents on the same site (http://www4.informatik.tu-muenchen.de/proj/focus/Literature.html): More
Development and Implementation of a Communication Protocol - .. - Dendorfer, Weber (1992) (Correct)
Deriving Efficient Parallel Programs By Systematic Coarsing.. - Gorlatch (Correct)
A Refinement Relation Supporting the Transition from Unbounded to .. - Stølen (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC