23 treff

Aspects of running the SCI-protocol over HIC-networks
Olav Lysne and Stein Gjessing
Bok Engelsk 1995
Formal specification of cache coherence in a shared memory multiprocessor
Stein Gjessing, Ellen Munthe-Kaas
Bok Engelsk 1991
Approaching verification of the SCI cache coherence protocol
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Formal specification and verification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Parallel composition of observable processes with shared variables
Stein Gjessing, Ellen Munthe-Kaas
Bok Engelsk 1990
A top down approach to the formal specification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Besøk ved åtte amerikanske universiteter : en reiserapport
Pål Spilling og Stein Gjessing
Bok Bokmål 1990 · Les boka på nett
ECOOP '88 : proceedings of the European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988 ; S. Gjessing, K. Nygaard (eds.)
European Conference on Object-Oriented Programming
Bok Engelsk 1988
Verification of systems of processes and monitors : two examples
Stein Gjessing
Bok Engelsk 1987
An axiomatic semantics of concurrent processes and monitors
by Stein Gjessing
Bok Engelsk 1985
Datastart : maskinarbeidsbok : Compas-Pascal og Turbo-Pascal
Stein Gjessing, Stein Kroghdal
Bok Bokmål 1984 · Les boka på nett
Mach-S overview
[forfattere: Gjessing ... [et al.]]
Bok Engelsk 1983 · Les boka på nett
Mach-s overview
[Gjessing ... [et al.]]
Bok Engelsk 1983 · Les boka på nett
Verification of monitors based on a partial correctness semantics
by Stein Gjessing
Bok Engelsk 1983
MACH-S : slang/S2000 hardware reference manual
Stein Gjessing, Jo Piene
Bok Engelsk 1982 · Les boka på nett
The syntax and the semantics of Slang : a simple, S-code based language for Mach-S
Stein Gjessing
Bok Språk ikke angitt 1982 · Les boka på nett
Microcomputer interrupt servicing in an environment of processes and monitors
Stein Gjessing
Bok Engelsk 1979
Microcomputer software design and programming using the concepts of processes and monitors : a case study
by Stein Gjessing
Bok Engelsk 1979
Monitors with arrays of condition variables and proof rules handling local quantities
Stein Gjessing
Bok Engelsk 1979
Monitors with associated processors
by Stein Gjessing
Bok Engelsk 1979
The structure of the MUMI multi microcomputer system
by Stein Gjessing
Bok Engelsk 1978
Compile time preparations for run time scheduling in monitors
by Stein Gjessing
Bok Engelsk 1977
Rapport om implementering av PASCAL på NORD-10 : Fellesdel til hovedoppgaver
Petter Gjerull, Stein Gjessing, Jan Husem...
Bok Bokmål 1976