A Sorted Semantic Framework for Applied Process Calculi

Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are ex...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 12, Issue 1; číslo 1; s. 1
Hlavní autoři:	Borgström, Johannes, Gutkovas, Ramūnas, Parrow, Joachim, Victor, Björn, Pohjola, Johannes Åman
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 31.03.2016
Témata:	Computer Science computer science - logic in computer science Datavetenskap Expressiveness Nominal sets Pattern matching pi-calculus Theorem proving Type systems
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!