Searching for authors named "Fredrik Orava" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
An Experiment in Formalising and Analysing Railyard Configurations
- …An Experiment in Formalising and Analysing Railyard Configurations Lars-ake Fredlund and Fredrik…
- Add To MetaCart
-
Analysing a pi-calculus Specification of a Cache-Coherence Protocol
- …---SICS---3 Lars-Henrik Eriksson and Fredrik Orava Swedish Institute of Computer Science y November 14, 1994…
- Add To MetaCart
-
An Algebraic Verification of a Mobile Network
- … Network 1 Fredrik Orava and Joachim Parrow Swedish Institute of Computer Science, Box 1263, S-16428…
- Cited by 33 (1 self) – Add To MetaCart
-
Formalising and prototyping a concurrent object-oriented language (Extended Abstract)
- …-ake Fredlund Jari Koistinen Fredrik Orava 1 Introduction The piece of work reported here originates from…
- Add To MetaCart
-
Formalising and Prototyping a Concurrent Object-Based Language
- … Koistinen ??2 and Fredrik Orava 1 1 Swedish Institute of Computer Science, P.O. Box 1263, S-164 28 Kista…
- Add To MetaCart
-
Wireless LANs:
- …, Trento, Italy fbattiti,locigno,msabelg@(email omitted); Fredrik Orava. Bj orn Pehrson Dept…
- Add To MetaCart
Showing 1 through 6.
