Fredrik Orava

Publication Activity (10 Years)

Years Active: 1989-2005
Publications (10 Years): 0

Publications

Roberto Battiti, Renato Lo Cigno, Mikalai Sabel, Fredrik Orava, Björn Pehrson
Wireless LANs: From WarChalking to Open Access Networks. Mob. Networks Appl. 10 (3) (2005)
Américo Muchanga, Lena Wosinska, Fredrik Orava, Joanna Haralson
Inter-Domain Routing in Optical Networks. OpNeTec (2004)
Roberto Battiti, Renato Lo Cigno, Fredrik Orava, Björn Pehrson
Global growth of open access networks: from warchalking and connection sharing to sustainable business. WMASH (2003)
Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava
Formalising and Prototyping a Concurrent Object-Based Language. LOMAPS (1996)
Fredrik Orava, Joachim Parrow
An Algebraic Verification of a Mobile Network. Formal Aspects Comput. 4 (6) (1992)
Hans Hansson, Fredrik Orava
A Process Calculus with Incomparable Priorities. NAPAW (1992)
Lars-Åke Fredlund, Fredrik Orava
Modelling Dynamic Communication Structures in LOTOS. FORTE (1991)
Ed Brinksma, Bengt Jonsson, Fredrik Orava
Refining Interfaces of Communicating Systems. TAPSOFT, Vol.2 (1991)
Fredrik Orava, Joachim Parrow
Algebraic descriptions of mobile networks: An example. PSTV (1990)
Fredrik Orava
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. PSTV (1989)
Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson
Specification for Verification. FORTE (1989)