BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Victor:Bj=ouml=rn

Contributed to:

SEFM 20112011
LICS 20102010
LICS 20092009
ICALP (2) 20082008
LICS 20062006
ICALP 20052005
LICS 20042004
ICALP 19991999
ICALP 19981998
LICS 19981998
CAV 19941994

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.