Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3385647)
From MaRDI portal
Jump to:
navigation
,
search
scientific article
Language
Label
Description
Also known as
English
No label defined
scientific article
Statements
instance of
scholarly article
0 references
author
Kirstin Peters
0 references
publication date
20 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1908.08633
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.2
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
An efficiency preorder for processes
0 references
A brief history of process algebra
0 references
Automata, Languages and Programming
0 references
Q3341873
0 references
An Effective Implementation for the Generalized Input-Output Construct of CSP
0 references
On the expressive power of recursion, replication and iteration in process calculi
0 references
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
0 references
On the Expressive Power of Polyadic Synchronisation in π-calculus
0 references
Theory of interaction
0 references
On the expressiveness of interaction
0 references
Q2760238
0 references
Q4986261
0 references
A theory of encodings and expressiveness (extended abstract)
0 references
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
0 references
On the Relative Expressive Power of Calculi for Mobility
0 references
A taxonomy of process calculi for distribution and mobility
0 references
Towards a unified approach to encodability and separation results for process calculi
0 references
Full abstraction for expressiveness: history, myths and facts
0 references
Q5013872
0 references
Communicating sequential processes
0 references
On reduction-based process semantics
0 references
Q3992568
0 references
Functions as processes
0 references
Q4248252
0 references
A calculus of mobile processes. I
0 references
Barbed bisimulation
0 references
On abstraction and the expressive power of programming languages
0 references
What is a ``good'' encoding of guarded choice?
0 references
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
0 references
Decoding choice encodings
0 references
Expressiveness of Process Algebras
0 references
General conditions for full abstraction
0 references
Q5013871
0 references
Is It a “Good” Encoding of Mixed Choice?
0 references
On Distributability in Process Calculi
0 references
An investigation into functions as processes
0 references
Constraints as processes
0 references
Tutorial on separation results in process calculi via leader election problems
0 references
Identifiers
Mathematics Subject Classification ID
68Q55
0 references
68Q85
0 references
zbMATH DE Number
7449992
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3385647
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
