Björn Victor

Available identifiers

zbMath Open victor.bjornMaRDI QIDQ444456

List of research outcomes

Publication	Date of Publication	Type
Solos in concert	2024-09-30	Paper
Constraints as processes	2023-06-28	Paper
A fully abstract symbolic semantics for psi-calculi	2021-02-09	Paper
A sorted semantic framework for applied process calculi (extended abstract)	2016-11-09	Paper
A sorted semantic framework for applied process calculi	2016-04-19	Paper
Relationally staged computations in calculi of mobile processes	2013-09-11	Paper
Computing strong and weak bisimulations for psi-calculi	2012-08-14	Paper
Broadcast psi-calculi with an application to wireless protocols	2011-10-28	Paper
Psi-calculi: a framework for mobile processes with nominal data and logic	2011-05-26	Paper
Extended pi-Calculi	2008-08-19	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5714437	2006-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4219040	1999-02-14	Paper

Research outcomes over time

This page was built for person: Björn Victor