Ivan Christoff Christoff | Uppsala University (original) (raw)

Uploads

Papers by Ivan Christoff Christoff

Research paper thumbnail of Testing equivalences and fully abstract models for probabilistic

this volume

... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University... more ... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University S-75120, Uppsala, Sweden Abstract We present a framework in which the observable behavior of probabilistic processes is distinguished through testing. ...

Research paper thumbnail of Distinguishing probabilistic processes through testing

Research paper thumbnail of Testing equivalences for probabilistic processes

DoCS/Dep. of computer systems. Uppsala univ., Jan 1, 1990

Research paper thumbnail of Reasoning about safety and liveness properties for probabilistic processes

… of Software Technology and Theoretical Computer …, Jan 1, 1992

Page 1. Reasoning about Safety and Liveness for Probabilistic Processes* Properties LindaChristof... more Page 1. Reasoning about Safety and Liveness for Probabilistic Processes* Properties LindaChristoff and Ivan Christoff Department of Computer Systems, Uppsala University PO Box 325, S-75105 Uppsala, Sweden E-mail: {linda,ivan} @docs.uu.se Abstract. ...

Research paper thumbnail of Efficient algorithms for verification of equivalences for probabilistic processes

Computer Aided Verification, Jan 1, 1992

... for Probabilistic Processes Linda Christoff Ivan Christoff Department of Computer Systems Upp... more ... for Probabilistic Processes Linda Christoff Ivan Christoff Department of Computer Systems Uppsala University S-75120 Uppsala, Sweden Abstract We present algorithms for automatic verification of equivalences between probabilistic processes. ...

Research paper thumbnail of Priority and abstraction in process algebra

Foundation of Software …, Jan 1, 1994

More than 15 years ago, Cleaveland and Hennessy proposed an extension of the process algebra CCS ... more More than 15 years ago, Cleaveland and Hennessy proposed an extension of the process algebra CCS in which some actions may take priority over others. The theory was equipped with a behavioral congruence based on strong bisimulation.

Research paper thumbnail of Exploring the pipeline: towards an understanding of the male dominated computing culture and its influence on women

ACM SIGCSE Bulletin, Jan 1, 1998

... Taken at face value the motivation may seem quite sympathetic and liberal. ... look like?&amp... more ... Taken at face value the motivation may seem quite sympathetic and liberal. ... look like?" and "What development do we want?" If one has a non-sexist view, there is no ... a community of genderless "computing people", where the function of gender and power is hidden, and indeed ...

Research paper thumbnail of Testing equivalences and fully abstract models for probabilistic processes

CONCUR'90 Theories of Concurrency: Unification and …, Jan 1, 1990

... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University... more ... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University S-75120, Uppsala, Sweden Abstract We present a framework in which the observable behavior of probabilistic processes is distinguished through testing. ...

Research paper thumbnail of Testing equivalences and fully abstract models for probabilistic

this volume

... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University... more ... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University S-75120, Uppsala, Sweden Abstract We present a framework in which the observable behavior of probabilistic processes is distinguished through testing. ...

Research paper thumbnail of Distinguishing probabilistic processes through testing

Research paper thumbnail of Testing equivalences for probabilistic processes

DoCS/Dep. of computer systems. Uppsala univ., Jan 1, 1990

Research paper thumbnail of Reasoning about safety and liveness properties for probabilistic processes

… of Software Technology and Theoretical Computer …, Jan 1, 1992

Page 1. Reasoning about Safety and Liveness for Probabilistic Processes* Properties LindaChristof... more Page 1. Reasoning about Safety and Liveness for Probabilistic Processes* Properties LindaChristoff and Ivan Christoff Department of Computer Systems, Uppsala University PO Box 325, S-75105 Uppsala, Sweden E-mail: {linda,ivan} @docs.uu.se Abstract. ...

Research paper thumbnail of Efficient algorithms for verification of equivalences for probabilistic processes

Computer Aided Verification, Jan 1, 1992

... for Probabilistic Processes Linda Christoff Ivan Christoff Department of Computer Systems Upp... more ... for Probabilistic Processes Linda Christoff Ivan Christoff Department of Computer Systems Uppsala University S-75120 Uppsala, Sweden Abstract We present algorithms for automatic verification of equivalences between probabilistic processes. ...

Research paper thumbnail of Priority and abstraction in process algebra

Foundation of Software …, Jan 1, 1994

More than 15 years ago, Cleaveland and Hennessy proposed an extension of the process algebra CCS ... more More than 15 years ago, Cleaveland and Hennessy proposed an extension of the process algebra CCS in which some actions may take priority over others. The theory was equipped with a behavioral congruence based on strong bisimulation.

Research paper thumbnail of Exploring the pipeline: towards an understanding of the male dominated computing culture and its influence on women

ACM SIGCSE Bulletin, Jan 1, 1998

... Taken at face value the motivation may seem quite sympathetic and liberal. ... look like?&amp... more ... Taken at face value the motivation may seem quite sympathetic and liberal. ... look like?" and "What development do we want?" If one has a non-sexist view, there is no ... a community of genderless "computing people", where the function of gender and power is hidden, and indeed ...

Research paper thumbnail of Testing equivalences and fully abstract models for probabilistic processes

CONCUR'90 Theories of Concurrency: Unification and …, Jan 1, 1990

... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University... more ... for Probabilistic Processes Ivan Christoff Department of Computer Systems, Uppsala University S-75120, Uppsala, Sweden Abstract We present a framework in which the observable behavior of probabilistic processes is distinguished through testing. ...