National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Rönn, Stefan
URI:
http://urn.fi/URN:NBN:fi:au:pn:000057594
name
Rönn, Stefan
Authored works
Den axiomatiska programmeringsmetoden : boolesk algebra
Ohjelmoinnin teorian harjoitustehtäviä
On the regularity calculus and its role in distributed programming
Semantics of semaphores
Works contributed to
An asynchronous version of a termination detection algorithm
Distributed termination in a ring
Termination detection of concurrent iteration
Works about Rönn, Stefan
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD