URI(s)
- http://id.loc.gov/authorities/subjects/sh98004617
- http://id.loc.gov/authorities/sh98004617#concept
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
- found: Work cat.: 98-39479: Milner, R. Communicating and mobile systems : the [symbol for pi]-calculus, 1999:CIP galley ("Analysing the behaviour of mobile systems at the design stage is much harder than it ever was for sequential computer programs. This is partly because we lack ways even to express such behaviour accurately, in order to specify what must be designed. The pi-calculus was developed in the late 1980's with just this goal in mind.)
- found: Alta vista, July 28, 1998(titles: pi-calculus)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1998-07-28: new
- 1998-08-25: revised
Alternate Formats
