Joachim Parrow

From MaRDI portal
Person:287321

Available identifiers

zbMath Open parrow.joachimMaRDI QIDQ287321

List of research outcomes

PublicationDate of PublicationType
Constraints as processes2023-06-28Paper
Deciding bisimulation equivalences for a class of non-finite-state programs2022-08-16Paper
Weak Nominal Modal Logic2022-06-15Paper
https://portal.mardi4nfdi.de/entity/Q49951502021-06-23Paper
https://portal.mardi4nfdi.de/entity/Q58564092021-03-26Paper
https://portal.mardi4nfdi.de/entity/Q51501282021-02-09Paper
https://portal.mardi4nfdi.de/entity/Q53577042017-09-12Paper
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)2016-11-09Paper
General conditions for full abstraction2016-07-28Paper
Higher-order psi-calculi2016-07-26Paper
The Largest Respectful Function2016-07-06Paper
Psi-calculi in Isabelle2016-05-26Paper
The Expressive Power of Monotonic Parallel Composition2016-04-26Paper
A Sorted Semantic Framework for Applied Process Calculi2016-04-19Paper
Expressiveness of Process Algebras2014-01-17Paper
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle2014-01-10Paper
Computing strong and weak bisimulations for psi-calculi2012-08-14Paper
Broadcast Psi-calculi with an Application to Wireless Protocols2011-10-28Paper
Psi-calculi: a framework for mobile processes with nominal data and logic2011-05-26Paper
Psi-calculi in Isabelle2009-10-20Paper
Formalising the pi-calculus using nominal logic2009-08-20Paper
Extended pi-Calculi2008-08-19Paper
Formalising the π-Calculus Using Nominal Logic2007-09-07Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
Automata, Languages and Programming2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q57144372006-01-02Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q27679852002-01-30Paper
https://portal.mardi4nfdi.de/entity/Q27602452001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q49426252000-03-16Paper
https://portal.mardi4nfdi.de/entity/Q42190401999-02-14Paper
Algebraic theories for name-passing calculi1996-05-02Paper
https://portal.mardi4nfdi.de/entity/Q47635121995-04-18Paper
Deciding bisimulation equivalences for a class of non-finite-state programs1994-03-24Paper
Structural and behavioural equivalences of networks1994-03-24Paper
https://portal.mardi4nfdi.de/entity/Q40387171993-05-18Paper
An algebraic verification of a mobile network1993-04-01Paper
Submodule construction as equation solving in CCS1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37683851987-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Joachim Parrow