Travelled to:1 × Czech Republic
1 × Denmark
1 × Finland
1 × Iceland
1 × Portugal
1 × United Kingdom
1 × Uruguay
4 × USA
Collaborated with:J.Parrow M.Johansson J.Bengtson M.Baldamus C.Laneve F.Moller C.Palamidessi V.A.Saraswat F.D.Valencia J.Borgström S.Huang P.Raabjerg J.Å.Pohjola
Talks about:calculus (7) calculi (4) mobil (3) psi (3) process (2) express (2) fusion (2) data (2) constraint (1) workbench (1)
Person: Björn Victor
DBLP: Victor:Bj=ouml=rn
Contributed to:
2011
20102009
2008200620052004199919981998
1994Wrote 11 papers:
- SEFM-2011-BorgstromHJRVPP #calculus #protocol
- Broadcast Psi-calculi with an Application to Wireless Protocols (JB, SH, MJ, PR, BV, JÅP, JP), pp. 74–89.
- LICS-2010-JohanssonBPV #calculus
- Weak Equivalences in Psi-Calculi (MJ, JB, JP, BV), pp. 322–331.
- LICS-2009-BengtsonJPV #calculus #logic #mobile #named #process
- Psi-calculi: Mobile Processes, Nominal Data, and Logic (JB, MJ, JP, BV), pp. 39–48.
- ICALP-B-2008-JohanssonPVB #π-calculus
- Extended π-Calculi (MJ, JP, BV, JB), pp. 87–98.
- LICS-2006-PalamidessiSVV #on the #persistent #π-calculus
- On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.
- ICALP-2005-BaldamusPV #encoding #π-calculus
- A Fully Abstract Encoding of the π-Calculus with Data Terms (MB, JP, BV), pp. 1202–1213.
- LICS-2004-BaldamusPV #π-calculus
- Sπ Calculus Translated to ?--Calculus Preserving May-Tests (MB, JP, BV), pp. 22–31.
- ICALP-1999-LaneveV
- Solos in Concert (CL, BV), pp. 513–523.
- ICALP-1998-VictorP #calculus #concurrent #constraints
- Concurrent Constraints in the Fusion Calculus (BV, JP), pp. 455–469.
- LICS-1998-ParrowV #calculus #mobile #process #symmetry
- The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (JP, BV), pp. 176–185.
- CAV-1994-VictorM #π-calculus
- The Mobility Workbench — A Tool for the π-Calculus (BV, FM), pp. 428–440.