( en | de | ru )

 

Disambiguation of "Orava, Fredrik"

Author of the publication

copydeleteadd this publication to your clipboard
Formalising and Prototyping a Concurrent Object-Based Language.

, , and . LOMAPS, volume 1192 of Lecture Notes in Computer Science, page 116-125. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fredrik Borchsenius

Fredrik Albach

Fredrik Harrysson

Fredrik Rusek

Fredrik Warg

 

Other publications of authors with the same name

Formalising and Prototyping a Concurrent Object-Based Language., , and . LOMAPS, volume 1192 of Lecture Notes in Computer Science, page 116-125. Springer, (1996)Wireless LANs: From WarChalking to Open Access Networks., , , , and . Mob. Networks Appl., 10 (3): 275-287 (2005)Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes.. PSTV, page 357-371. North-Holland, (1989)Specification for Verification., , , and . FORTE, page 227-244. North-Holland, (1989)Refining Interfaces of Communicating Systems., , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 297-312. Springer, (1991)Algebraic descriptions of mobile networks: An example., and . PSTV, page 275-291. North-Holland, (1990)Modelling Dynamic Communication Structures in LOTOS., and . FORTE, volume C-2 of IFIP Transactions, page 185-200. North-Holland, (1991)Inter-Domain Routing in Optical Networks., , , and . OpNeTec, volume 164 of IFIP International Federation for Information Processing, page 263-270. Springer, (2004)Global growth of open access networks: from warchalking and connection sharing to sustainable business., , , and . WMASH, page 19-28. ACM, (2003)A Process Calculus with Incomparable Priorities., and . NAPAW, page 43-64. Springer, (1992)