Björn Victor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Solos in concert Mathematical Structures in Computer Science	2024-09-30	Paper
Constraints as processes CONCUR '96: Concurrency Theory	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) Trustworthy Global Computing	2016-11-09	Paper
A sorted semantic framework for applied process calculi Logical Methods in Computer Science	2016-04-19	Paper
Relationally staged computations in calculi of mobile processes	2013-09-11	Paper
Computing strong and weak bisimulations for psi-calculi The Journal of Logic and Algebraic Programming	2012-08-14	Paper
Broadcast psi-calculi with an application to wireless protocols Software Engineering and Formal Methods	2011-10-28	Paper
Psi-calculi: a framework for mobile processes with nominal data and logic Logical Methods in Computer Science	2011-05-26	Paper
Extended pi-Calculi Automata, Languages and Programming	2008-08-19	Paper
Algebra and Coalgebra in Computer Science Lecture Notes in Computer Science	2006-10-20	Paper
Automata, Languages and Programming Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2242584 (Why is no real title available?)	2006-01-02	Paper
scientific article; zbMATH DE number 1223724 (Why is no real title available?)	1999-02-14	Paper

Research outcomes over time

This page was built for person: Björn Victor