Specification-oriented semantics for communicating processes

Structural Abstraction of Process Specifications

Artem Polyvyanyy

February 2010

Software engineers constantly deal with problems of designing, analyzing, and improving process spec...

Technikentwicklung fuer die vermittelte Breitbandkommunikation

Pfab, R.
Stachelsky, F. von
Heinrich-Hertz-Institut fuer Nachrichtentechnik Berlin G.m.b.H. (HHI) (Germany)

January 1986

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

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Specification and implementation of asynchronous process communication

Serbedzija, N.B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

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

Process theory Semantics, specification and verification

Olderog, E.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1985

SIGLETIB: RN 4855 (8507) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Specification-oriented programming in TCSP

Olderog, E.R.
Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik

January 1984

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

Development, specification and semantics of strictly modular systems

Ehrig, H.
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1983

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

A note on processes

Broy, M.
Passau Univ. (Germany). Fakultaet fuer Mathematik und Informatik

January 1984

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

Suggestions on the operational semantics of algebraic specifications

Hasler, K.P.
Kreowski, H.J.
Loewe, M.
Reisin, M.
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1983

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

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

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

Algebraic specification of modules and modular software systems within the framework of specification logics

Ehrig, H.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

System specification with labelled nets and the notion of interface equivalence

Voss, K. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

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

Abstract modular implementation of processes by predicate-event systems

Schmidt, H.W.
Papazoglou, M. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Systemtechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1985

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

Semantic independence

Best, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Lengauer, C. (Texas Univ., Austin (United States). Dept. of Computer Sciences)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1987

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

Structural abstraction of process specifications

Polyvyanyy, A

December 2010

Software engineers constantly deal with problems of designing, analyzing, and improving process spec...

Structural Abstraction of Process Specifications

Artem Polyvyanyy

February 2010

Software engineers constantly deal with problems of designing, analyzing, and improving process spec...

Technikentwicklung fuer die vermittelte Breitbandkommunikation

Pfab, R.
Stachelsky, F. von
Heinrich-Hertz-Institut fuer Nachrichtentechnik Berlin G.m.b.H. (HHI) (Germany)

January 1986

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

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Specification and implementation of asynchronous process communication

Serbedzija, N.B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

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

Process theory Semantics, specification and verification

Olderog, E.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1985

SIGLETIB: RN 4855 (8507) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Specification-oriented programming in TCSP

Olderog, E.R.
Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik

January 1984

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

Development, specification and semantics of strictly modular systems

Ehrig, H.
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1983

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

A note on processes

Broy, M.
Passau Univ. (Germany). Fakultaet fuer Mathematik und Informatik

January 1984

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

Suggestions on the operational semantics of algebraic specifications

Hasler, K.P.
Kreowski, H.J.
Loewe, M.
Reisin, M.
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1983

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

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

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

Algebraic specification of modules and modular software systems within the framework of specification logics

Ehrig, H.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

System specification with labelled nets and the notion of interface equivalence

Voss, K. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

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

Abstract modular implementation of processes by predicate-event systems

Schmidt, H.W.
Papazoglou, M. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Systemtechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1985

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

Semantic independence

Best, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Methodische Grundlagen)
Lengauer, C. (Texas Univ., Austin (United States). Dept. of Computer Sciences)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1987

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

Structural abstraction of process specifications

Polyvyanyy, A

December 2010

Software engineers constantly deal with problems of designing, analyzing, and improving process spec...

Structural Abstraction of Process Specifications

Artem Polyvyanyy

February 2010

Software engineers constantly deal with problems of designing, analyzing, and improving process spec...

Technikentwicklung fuer die vermittelte Breitbandkommunikation

Pfab, R.
Stachelsky, F. von
Heinrich-Hertz-Institut fuer Nachrichtentechnik Berlin G.m.b.H. (HHI) (Germany)

January 1986

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

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Specification-oriented semantics for communicating processes

Abstract

Extracted data

Specification-oriented semantics for communicating processes

Abstract

Extracted data

Related items

Related items