Searching for authors named "Fredrik Orava" – sorted by Relevance.
-
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

