Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
No label defined
(Q3385651)
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
publication date
20 December 2021
0 references
full work available at URL
https://arxiv.org/abs/1908.08635
0 references
http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.5
0 references
Mathematics Subject Classification ID
68Q55
0 references
68Q85
0 references
zbMATH DE Number
7449995
0 references
author
Robert J. van Glabbeek
0 references
MaRDI profile type
MaRDI publication profile
0 references
cites work
Algèbre de processus et synchronisation
0 references
A semantic framework for open processes
0 references
Q5186720
0 references
A Timed Process Algebra for Wireless Networks with an Application in Routing
0 references
Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
0 references
A Theory of Communicating Sequential Processes
0 references
Q4941495
0 references
Divide and congruence III: Stability & divergence
0 references
The meaning of negative premises in transition system specifications. II
0 references
Encyclopedia of Parallel Computing
0 references
A theory of encodings and expressiveness (extended abstract)
0 references
Transition system specifications with negative premises
0 references
Structured operational semantics and bisimulation as a congruence
0 references
Compositionality Through an Operational Semantics of Contexts
0 references
Action transducers and timed automata
0 references
Q4160889
0 references
Calculi for synchrony and asynchrony
0 references
Q4385545
0 references
A structural approach to operational semantics
0 references
Bisimilarity of open terms.
0 references
Higher-level synchronising devices in Meije-SCCS
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Publication:3385651
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
