PiStache: Implementing π-Calculus in Scala (Q3098054): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Psi-calculi: a framework for mobile processes with nominal data and logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structured Communication-Centred Programming for Web Services / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4248252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Purely Functional Data Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2760245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2778806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating Sequential Processes. The First 25 Years / rank | |||
Normal rank |
Latest revision as of 15:03, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | PiStache: Implementing π-Calculus in Scala |
scientific article |
Statements
PiStache: Implementing π-Calculus in Scala (English)
0 references
11 November 2011
0 references
pi-calculus
0 references
Scala
0 references
reconfiguration
0 references