Equivalence notions for concurrent systems and refinement of actions

Concurrent Realizations of Reactive Systems Abstract

Marek A. Bednarczyk
Andrzej M. Borzyszkowski

February 2008

A categorical framework for finding concurrent realizations of reactive systems is presented

De Nicola, Rocco

January 2011

Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems...

A unified approach for equivalence relations of indeterministic distributed systems (with application to network protocols).

Wang, Guoqiang.

January 1991

Equivalence relations are criteria for comparing the behavior of systems. They have important applic...

Some equivalence notions for concurrent systems An overview

Pomello, L.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

With 16 figs.SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformation...

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

Transforming sequential systems into concurrent systems

Janicki, Ryszard

December 1985

AbstractA problem of concurrent system specification is studied. A functionally equivalent system is...

Refinement of actions and equivalence notions for concurrent systems

Glabbeek, R. van (Stanford Univ., CA (United States). Dept. of Computer Science)
Goltz, U. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik

January 1998

We study an operator for refinement of actions to be used in the design of concurrent systems. Actio...

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

A Theory of Testing for Asynchronous Concurrent Systems

Thati, Prasannaa

January 10000

173 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2003.The central idea behind our p...

Concurrent and maximally concurrent evolution of nonsequential systems

Janicki, Ryszard
Lauer, Peter P.E.
Koutny, Maciej
Devillers, Raymond

January 1986

The semantics expressed intuitively as 'execute as much as possible in parallel' is formally defined...

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

Concurrent and maximally concurrent evolution of nonsequential systems

Janicki, Ryszard
Lauer, Peter E.
Koutny, Maciej
Devillers, Raymond

December 1986

AbstractThe semantics expressed intuitively as ‘execute as much as possible in parallel’ is formally...

Distribution and Locality of Concurrent Systems

Corradini, Flavio
De Nicola, Rocco

January 1994

A new semantics for process description languages that discriminates according to the distribution i...

On logical and concurrent equivalences

Bradfield, J.C.
Fröschle, S.B.

February 2002

AbstractWe consider modal analogues of Hintikka et al.'s ‘independence-friendly first-order logic’, ...

Synthesis and equivalence of concurrent systems

Lisper, Björn

June 1988

AbstractA framework for synthesis of synchronous concurrent systems with local memory is developed. ...

Concurrent Realizations of Reactive Systems Abstract

Marek A. Bednarczyk
Andrzej M. Borzyszkowski

February 2008

A categorical framework for finding concurrent realizations of reactive systems is presented

Behavioral Equivalences

De Nicola, Rocco

January 2011

Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems...

A unified approach for equivalence relations of indeterministic distributed systems (with application to network protocols).

Wang, Guoqiang.

January 1991

Equivalence relations are criteria for comparing the behavior of systems. They have important applic...

Some equivalence notions for concurrent systems An overview

Pomello, L.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1984

With 16 figs.SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformation...

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

Transforming sequential systems into concurrent systems

Janicki, Ryszard

December 1985

AbstractA problem of concurrent system specification is studied. A functionally equivalent system is...

Refinement of actions and equivalence notions for concurrent systems

Glabbeek, R. van (Stanford Univ., CA (United States). Dept. of Computer Science)
Goltz, U. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik

January 1998

We study an operator for refinement of actions to be used in the design of concurrent systems. Actio...

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

A Theory of Testing for Asynchronous Concurrent Systems

Thati, Prasannaa

January 10000

173 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2003.The central idea behind our p...

Concurrent and maximally concurrent evolution of nonsequential systems

Janicki, Ryszard
Lauer, Peter P.E.
Koutny, Maciej
Devillers, Raymond

January 1986

The semantics expressed intuitively as 'execute as much as possible in parallel' is formally defined...

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

Concurrent and maximally concurrent evolution of nonsequential systems

Janicki, Ryszard
Lauer, Peter E.
Koutny, Maciej
Devillers, Raymond

December 1986

AbstractThe semantics expressed intuitively as ‘execute as much as possible in parallel’ is formally...

Distribution and Locality of Concurrent Systems

Corradini, Flavio
De Nicola, Rocco

January 1994

A new semantics for process description languages that discriminates according to the distribution i...

On logical and concurrent equivalences

Bradfield, J.C.
Fröschle, S.B.

February 2002

AbstractWe consider modal analogues of Hintikka et al.'s ‘independence-friendly first-order logic’, ...

Synthesis and equivalence of concurrent systems

Lisper, Björn

June 1988

AbstractA framework for synthesis of synchronous concurrent systems with local memory is developed. ...

Concurrent Realizations of Reactive Systems Abstract

Marek A. Bednarczyk
Andrzej M. Borzyszkowski

February 2008

A categorical framework for finding concurrent realizations of reactive systems is presented

Behavioral Equivalences

De Nicola, Rocco

January 2011

Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems...

A unified approach for equivalence relations of indeterministic distributed systems (with application to network protocols).

Wang, Guoqiang.

January 1991

Equivalence relations are criteria for comparing the behavior of systems. They have important applic...

Equivalence notions for concurrent systems and refinement of actions

Abstract

Extracted data

Equivalence notions for concurrent systems and refinement of actions

Abstract

Extracted data

Related items

Related items