Concurrency, specification and programming Workshop

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...

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...

Praxisbezogene IDL Programmierung

Wagener, M.
Busch, M.
Bauer, R.
Heer, H.
Forschungszentrum Juelich GmbH (Germany). Zentralbibliothek
Forschungszentrum Juelich G.m.b.H. (KFA) (Germany). Zentrallabor fuer Elektronik
Forschungszentrum Juelich G.m.b.H. (KFA) (Germany). Zentralinstitut fuer Angewandte Mathematik
Forschungszentrum Juelich GmbH (Germany). Inst. fuer Chemie und Dynamik der Geosphaere 1: Stratosphaere

January 2002

Available from TIB Hannover: RS 3404(2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

Concurrency, specification and programming. Vol. 1 Workshop

Starke, P. (Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik)
Czaja, L.
Skowron, A. (Warsaw Univ. (Poland). Inst. of Informatics) (eds.)
Burkhard, H.D.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 2000

SIGLEAvailable from TIB Hannover: RR 2036(140,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

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...

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...

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...

Perspektiven und Parallelprojektionen

Nabert, R.
Paderborn Univ. (Gesamthochschule) (Germany). Fachbereich 17 - Mathematik-Informatik

January 1991

SIGLEAvailable from TIB Hannover: RR 1609(86) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Konzeption und Realisierung eines objektorientierten Programmiermodells fuer virtuell gemeinsamen Speicher in parallelen Rechnersystemen

Besch, M. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1992

Available from TIB Hannover: RN 9844(684) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Concurrency Control auf Ethernet-aehnlichen Netzwerken

Deringer, V.
Heigert, J.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1982

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

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...

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...

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...

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...

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...

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...

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...

Praxisbezogene IDL Programmierung

Wagener, M.
Busch, M.
Bauer, R.
Heer, H.
Forschungszentrum Juelich GmbH (Germany). Zentralbibliothek
Forschungszentrum Juelich G.m.b.H. (KFA) (Germany). Zentrallabor fuer Elektronik
Forschungszentrum Juelich G.m.b.H. (KFA) (Germany). Zentralinstitut fuer Angewandte Mathematik
Forschungszentrum Juelich GmbH (Germany). Inst. fuer Chemie und Dynamik der Geosphaere 1: Stratosphaere

January 2002

Available from TIB Hannover: RS 3404(2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

Concurrency, specification and programming. Vol. 1 Workshop

Starke, P. (Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik)
Czaja, L.
Skowron, A. (Warsaw Univ. (Poland). Inst. of Informatics) (eds.)
Burkhard, H.D.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 2000

SIGLEAvailable from TIB Hannover: RR 2036(140,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

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...

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...

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...

Perspektiven und Parallelprojektionen

Nabert, R.
Paderborn Univ. (Gesamthochschule) (Germany). Fachbereich 17 - Mathematik-Informatik

January 1991

SIGLEAvailable from TIB Hannover: RR 1609(86) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Konzeption und Realisierung eines objektorientierten Programmiermodells fuer virtuell gemeinsamen Speicher in parallelen Rechnersystemen

Besch, M. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1992

Available from TIB Hannover: RN 9844(684) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Concurrency Control auf Ethernet-aehnlichen Netzwerken

Deringer, V.
Heigert, J.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1982

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

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...

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...

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...

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...

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...

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...

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...

Praxisbezogene IDL Programmierung

Wagener, M.
Busch, M.
Bauer, R.
Heer, H.
Forschungszentrum Juelich GmbH (Germany). Zentralbibliothek
Forschungszentrum Juelich G.m.b.H. (KFA) (Germany). Zentrallabor fuer Elektronik
Forschungszentrum Juelich G.m.b.H. (KFA) (Germany). Zentralinstitut fuer Angewandte Mathematik
Forschungszentrum Juelich GmbH (Germany). Inst. fuer Chemie und Dynamik der Geosphaere 1: Stratosphaere

January 2002

Available from TIB Hannover: RS 3404(2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

Concurrency, specification and programming Workshop

Abstract

Extracted data

Concurrency, specification and programming Workshop

Abstract

Extracted data

Related items

Related items