Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,432,848 papers from all fields of science
Search
Sign In
Create Free Account
Concurrency semantics
In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Actor model
Computer science
Petri net
Semantics (computer science)
Broader (2)
Concurrency (computer science)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013
TERMGRAPH
2013
Corpus ID: 7675915
2011
2011
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence
Sara Miner More
,
Pavel Naumov
,
Benjamin Sapp
Annual Conference for Computer Science Logic
2011
Corpus ID: 14421003
Independence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to…
Expand
2011
2011
Petri Nets and Bio-Modelling - and how to benefit from their synergy
J. Kleijn
,
M. Koutny
,
G. Rozenberg
arXiv.org
2011
Corpus ID: 7499813
In this talk we are concerned with the intrinsic similarities and differences between Petri nets on the one hand, and membrane…
Expand
2002
2002
A Domain-Speci(cid:12)c Language for Device Drivers
Christopher L. Conway
2002
Corpus ID: 867901
Device drivers are di(cid:14)cult to write and error-prone. They are usually written in low-level languages with minimal type…
Expand
2001
2001
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes
L. Cloth
,
H. Bohnenkamp
,
B. Haverkort
Process Algebra and Probabilistic Methods…
2001
Corpus ID: 1467127
In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events…
Expand
1995
1995
A True Concurrency Semantics for Quality of Service Specification and Validation
H. Bowman
,
J. Derrick
Multimedia and Networking
1995
Corpus ID: 2212687
This paper considers quality of service specification and validation for distributed multimedia systems. We present a new…
Expand
1991
1991
Ordinal Processes in Comparative Concurrency Semantics
S. Pinchinat
Annual Conference for Computer Science Logic
1991
Corpus ID: 46598720
When comparing concurrency semantics, one of the main difficulties is to find counter-examples to show that two equivalences do…
Expand
1991
1991
Concurrency semantics based on metric domain equations
J. Bakker
,
J. Rutten
1991
Corpus ID: 118333553
We show how domain equations may be solved in the category of complete metric spaces. For five example languages we demonstrate…
Expand
1991
1991
A real-time transition model for analyzing behavioral compatibility of telecommunications services
E. Cameron
,
Yow-Jian Lin
SIGSOFT '91
1991
Corpus ID: 16240733
To improve responsiveness to diverse demands of customers, the providers of telecommunications network services must deploy new…
Expand
1989
1989
Designing Concurrency Semantics
J. Bakker
IFIP Congress
1989
Corpus ID: 43460015
Based on our experience in the design of semantics for several families of parallel languages, we present an expository account…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE