Transformation of combinded data type and process specifications using projection algebras

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Rieckhoff, C.

January 1985

TIB: RN 2856 (85-13) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Transformation und Komposition von P/T-Netzen unter Erhaltung wesentlicher Eigenschaften

Heise, A.
Dimitrovici, C.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen

January 1991

Available from TIB Hannover: RN 7878(9108) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Process Algebra in Pvs

Twan Basten
Twan Basten
Lozef Hooman

January 1999

The aim of this work is to investigate mechanical support for process algebra, both for concrete app...

Algebraic data type and process specifications based on projection spaces

Ehrig, H.
Boehm, P.
Rieckhoff, C.
Dimitrovici, C.
Grosse-Rohde, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Combining data type and recursive process specifications using projection algebras

Ehrig, Hartmut
Parisi-Presicce, Francesco
Boehm, Paul
Rieckhoff, Catharina
Dimitrovici, Cristian
Grosse-Rhode, Martin

April 1990

AbstractIn order to provide an algebraic semantics for recursively defined (nonterminating) processe...

Implementing algebraic specifications by graph transformation systems

Loewe, M.
Berlin Freie Univ. (Germany). Fachbereich Mathematik

January 1989

Main parts of the contents of this paper have been presented at the '5th Workshop on abstract data t...

Algebraic types as a framework for program transformation

Pepper, P.
Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1984

SIGLETIB: RN 7878 (8408) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Computer assisted manipulation of algebraic process specifications

Groote, J.F.
Lisser, B.

January 2002

Specifications of sytem behaviour tend to become large. Analysis of such specifications requires aut...

Partial algebras for representing semantics of information processing

Kupka, I.
Hamburg Univ. (Germany, F.R.). Fachbereich Informatik

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3437 (76) / FIZ - Fachinformationszzentrum Karls...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

TIB: RN 2856 (85-10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Nondeterministic algebraic specifications

Hussmann, H.

January 1991

Translation of the author's Ph.D. thesis: 'Nichtdeterministische algebraische Spezifikationen', Pass...

Projection module specifications and their basic interconnections

Dimitrovici, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Parallelism algebras: a link between process algebras and abstract relation algebras

Gritzner, T.F.
Broy, M.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen

January 1991

SIGLEAvailable from TIB Hannover: RN 7878(9123) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Optimizations of production systems based on algebraic graph transformations

Korff, M.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1990

This work was partly supported by the projects 'Computing by Graph Transformations (GraGra)' and 'Ka...

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Rieckhoff, C.

January 1985

TIB: RN 2856 (85-13) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Transformation und Komposition von P/T-Netzen unter Erhaltung wesentlicher Eigenschaften

Heise, A.
Dimitrovici, C.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen

January 1991

Available from TIB Hannover: RN 7878(9108) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Process Algebra in Pvs

Twan Basten
Twan Basten
Lozef Hooman

January 1999

The aim of this work is to investigate mechanical support for process algebra, both for concrete app...

Algebraic data type and process specifications based on projection spaces

Ehrig, H.
Boehm, P.
Rieckhoff, C.
Dimitrovici, C.
Grosse-Rohde, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Combining data type and recursive process specifications using projection algebras

Ehrig, Hartmut
Parisi-Presicce, Francesco
Boehm, Paul
Rieckhoff, Catharina
Dimitrovici, Cristian
Grosse-Rhode, Martin

April 1990

AbstractIn order to provide an algebraic semantics for recursively defined (nonterminating) processe...

Implementing algebraic specifications by graph transformation systems

Loewe, M.
Berlin Freie Univ. (Germany). Fachbereich Mathematik

January 1989

Main parts of the contents of this paper have been presented at the '5th Workshop on abstract data t...

Algebraic types as a framework for program transformation

Pepper, P.
Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1984

SIGLETIB: RN 7878 (8408) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Computer assisted manipulation of algebraic process specifications

Groote, J.F.
Lisser, B.

January 2002

Specifications of sytem behaviour tend to become large. Analysis of such specifications requires aut...

Partial algebras for representing semantics of information processing

Kupka, I.
Hamburg Univ. (Germany, F.R.). Fachbereich Informatik

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3437 (76) / FIZ - Fachinformationszzentrum Karls...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

TIB: RN 2856 (85-10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Nondeterministic algebraic specifications

Hussmann, H.

January 1991

Translation of the author's Ph.D. thesis: 'Nichtdeterministische algebraische Spezifikationen', Pass...

Projection module specifications and their basic interconnections

Dimitrovici, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Parallelism algebras: a link between process algebras and abstract relation algebras

Gritzner, T.F.
Broy, M.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen

January 1991

SIGLEAvailable from TIB Hannover: RN 7878(9123) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Optimizations of production systems based on algebraic graph transformations

Korff, M.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1990

This work was partly supported by the projects 'Computing by Graph Transformations (GraGra)' and 'Ka...

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden

Rieckhoff, C.

January 1985

TIB: RN 2856 (85-13) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibli...

Transformation und Komposition von P/T-Netzen unter Erhaltung wesentlicher Eigenschaften

Heise, A.
Dimitrovici, C.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik
Muenchen Technische Univ. (Germany). Sonderforschungsbereich 342 - Methoden und Werkzeuge fuer die Nutzung Paralleler Rechnerarchitekturen

January 1991

Available from TIB Hannover: RN 7878(9108) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Process Algebra in Pvs

Twan Basten
Twan Basten
Lozef Hooman

January 1999

The aim of this work is to investigate mechanical support for process algebra, both for concrete app...

Transformation of combinded data type and process specifications using projection algebras

Abstract

Extracted data

Transformation of combinded data type and process specifications using projection algebras

Abstract

Extracted data

Topics

Related items

Topics

Related items