A Sorted Semantic Framework for Applied Process Calculi (Q2800971)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Sorted Semantic Framework for Applied Process Calculi |
scientific article |
Statements
A Sorted Semantic Framework for Applied Process Calculi (English)
0 references
19 April 2016
0 references
expressiveness
0 references
pattern matching
0 references
type systems
0 references
theorem proving
0 references
pi-calculus
0 references
nominal sets
0 references
