Primary tabs

Most recent publications

S. Krogdahl and O. Lysne

On Verification of Parallel Message-Passing Processes

Formal Aspects of Computing 13 (2002): 471-492.
Journal Article
2002
View

News

16 July 2022

New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing

Simula in the media

11 April 2016

Simula@Bergen skal utdanne ein ny generasjon med kryptologar

Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
: 
Simula
På Høyden

Find publication

Status

Departments

Publication type

Year published

Export 1 results:
2002

Journal articles

S. Krogdahl and O. Lysne

On Verification of Parallel Message-Passing Processes

Formal Aspects of Computing 13 (2002): 471-492.
Status: Published