Concepedia

Björn Victor

BV

11

Publications

532

Citations

11

H-Index

2002

Active since

Affiliations

Uppsala University(Current)

Björn Victor is an author at Uppsala University specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationProgram AnalysisFormal SpecificationMobile ComputingArts

Publications per year

2002–2013

11

Publications

11

The fusion calculus: expressiveness and symmetry in mobile processes

Joachim Parrow, Björn Victor · 2002 · 205 citations

Engineering, Canonical Calculus, Operational Semantics +14

Psi-calculi: a framework for mobile processes with nominal data and logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow et al. · Logical Methods in Computer Science · 2011 · 84 citations · Full text

Applied Logic, Psi-calculi Extends, Nominal Data +22

Psi-calculi: Mobile Processes, Nominal Data, and Logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow et al. · 2009 · 55 citations

Applied Logic, Engineering, Verification +16

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

Catuscia Palamidessi, Vijay Saraswat, Frank Valencia et al. · 2006 · 43 citations · Full text

Process Calculi, Formal Specification, Engineering +14

Solos in concert

Cosimo Laneve, Björn Victor · Mathematical Structures in Computer Science · 2003 · 34 citations

Music, Engineering, Formal Verification +16

Rows per page

1–5 of 11