Concurrency, specification and programming. Vol. 1 Workshop

Workshop ueber Parallelverarbeitung

Ecker, K.
Hirschberg, R. (eds.)
Technische Univ. Clausthal, Clausthal-Zellerfeld (Germany). Inst. fuer Informatik

January 1992

Available from TIB Hannover: RO 7834(1993,5) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Concurrency : an object-oriented approach

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10714 / INIST-CNRS - ...

Functional computation as concurrent computation

Niehren, J. (Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany). Programming Systems Lab.)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Kaiserslautern (Germany)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)

January 1995

Available from TIB Hannover: RR 1812(95-14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Concurrency, specification and programming Workshop

Burkhard, H.D.
Czaja, L.
Starke, P. (eds.)
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1998

SIGLEAvailable from TIB Hannover: RR 2036(110) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Formal methods for concurrency Abstracts

Desel, J.
Reichel, H.
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1996

SIGLEAvailable from FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

Leistungsanalyse von Concurrency-Control-Algorithmen in Datenbanksystemen Ein Ueberblick

Augustin, R.
Praedel, U.
Scholten, H.
Dortmund Univ. (Germany). Abt. Informatik

January 1984

TIB: RN 4237 (174) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Concurrent behaviour: Sequences, processes and axioms

Best, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, Sankt Augustin (Germany, F.R.). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

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

Some new aspects of the temporal logic of concurrent programs

Kroeger, F.
Technische Univ. Muenchen (Germany, F.R.). Inst. fuer Informatik

January 1983

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

Concurrent behaviour Sequences, processes and programming languages

Best, E.
Devillers, R.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen

January 1985

SIGLETIB: RA 2775 (99) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Combining compositionality and concurrency Summary

Goltz, U. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Glabbeek, R. van (Centrum voor Wiskunde en Informatica, Amsterdam (Netherlands))
Olderog, E.R. (Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1988

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

Ideas on optimistic concurrency control Part 1

Praedel, U.
Schlageter, G.
Unland, R.
Hagen Fernuniversitaet (Germany)

January 1982

SIGLETIB: RO 5219 (26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Evaluation of a multiple version scheme for concurrency control

Haerder, T. (Kaiserslautern Univ. (Germany))
Petry, E. (Zurich Eidgenoessische Technische Hochschule (ETH) (Switzerland))
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1986

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Concurrency control in integrated information systems: A survey of problems

Praedel, U.
Schlageter, G. (Hagen Fernuniversitaet (Germany). Fachbereich Mathematik und Informatik)
Hagen Fernuniversitaet (Germany).
IBM Deutschland G.m.b.H., Berlin (Germany)

January 1983

SIGLETIB: RO 5219 (33) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Concurrency constraints as control specifications for the MoMo language

Voss, H.
Gross, E.
Gebhardt, F.
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1994

Available from TIB Hannover: RR 3215(21) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Invariants and paradigms of concurrency theory

Janicki, R.
Koutny, M
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / BLDSC - B...

Workshop ueber Parallelverarbeitung

Ecker, K.
Hirschberg, R. (eds.)
Technische Univ. Clausthal, Clausthal-Zellerfeld (Germany). Inst. fuer Informatik

January 1992

Available from TIB Hannover: RO 7834(1993,5) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Concurrency : an object-oriented approach

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10714 / INIST-CNRS - ...

Functional computation as concurrent computation

Niehren, J. (Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany). Programming Systems Lab.)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Kaiserslautern (Germany)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)

January 1995

Available from TIB Hannover: RR 1812(95-14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Concurrency, specification and programming Workshop

Burkhard, H.D.
Czaja, L.
Starke, P. (eds.)
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1998

SIGLEAvailable from TIB Hannover: RR 2036(110) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Formal methods for concurrency Abstracts

Desel, J.
Reichel, H.
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 1996

SIGLEAvailable from FIZ Karlsruhe / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

Leistungsanalyse von Concurrency-Control-Algorithmen in Datenbanksystemen Ein Ueberblick

Augustin, R.
Praedel, U.
Scholten, H.
Dortmund Univ. (Germany). Abt. Informatik

January 1984

TIB: RN 4237 (174) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Concurrent behaviour: Sequences, processes and axioms

Best, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, Sankt Augustin (Germany, F.R.). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

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

Some new aspects of the temporal logic of concurrent programs

Kroeger, F.
Technische Univ. Muenchen (Germany, F.R.). Inst. fuer Informatik

January 1983

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

Concurrent behaviour Sequences, processes and programming languages

Best, E.
Devillers, R.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen

January 1985

SIGLETIB: RA 2775 (99) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Combining compositionality and concurrency Summary

Goltz, U. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Glabbeek, R. van (Centrum voor Wiskunde en Informatica, Amsterdam (Netherlands))
Olderog, E.R. (Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1988

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

Ideas on optimistic concurrency control Part 1

Praedel, U.
Schlageter, G.
Unland, R.
Hagen Fernuniversitaet (Germany)

January 1982

SIGLETIB: RO 5219 (26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Evaluation of a multiple version scheme for concurrency control

Haerder, T. (Kaiserslautern Univ. (Germany))
Petry, E. (Zurich Eidgenoessische Technische Hochschule (ETH) (Switzerland))
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1986

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Concurrency control in integrated information systems: A survey of problems

Praedel, U.
Schlageter, G. (Hagen Fernuniversitaet (Germany). Fachbereich Mathematik und Informatik)
Hagen Fernuniversitaet (Germany).
IBM Deutschland G.m.b.H., Berlin (Germany)

January 1983

SIGLETIB: RO 5219 (33) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Concurrency constraints as control specifications for the MoMo language

Voss, H.
Gross, E.
Gebhardt, F.
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1994

Available from TIB Hannover: RR 3215(21) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Invariants and paradigms of concurrency theory

Janicki, R.
Koutny, M
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--355) / BLDSC - B...

Workshop ueber Parallelverarbeitung

Ecker, K.
Hirschberg, R. (eds.)
Technische Univ. Clausthal, Clausthal-Zellerfeld (Germany). Inst. fuer Informatik

January 1992

Available from TIB Hannover: RO 7834(1993,5) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Concurrency : an object-oriented approach

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10714 / INIST-CNRS - ...

Functional computation as concurrent computation

Niehren, J. (Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany). Programming Systems Lab.)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Kaiserslautern (Germany)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH (DFKI), Saarbruecken (Germany)

January 1995

Available from TIB Hannover: RR 1812(95-14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Concurrency, specification and programming. Vol. 1 Workshop

Abstract

Extracted data

Concurrency, specification and programming. Vol. 1 Workshop

Abstract

Extracted data

Related items

Related items