Home » forums » Site Discussion

pi-ple rights oppressed

We have a category for Theory/Lambda Calculus, but none for Theory/Pi and related calculi. Not sure, what the specific name should be, though.

By Andris Birkmanis at 2005-02-06 19:29 | Site Discussion | previous forum topic | next forum topic | other blogs | 5833 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Right

For the moment it would seem best to put suhc items in the LC and parallel prog departments. I guess I should add a PiC dept. for all thse calculi (just like LC one is for all forms of L-like C).

By Ehud Lamm at Sun, 2005-02-06 19:47 | login or register to post comments

Better yet, call it "Process Calculi"

or Calculii, which ever speling is korrect. :)

A home for discussions on any of the various process calculii and process models that have been proposed (join calculus, pi-calculus, CCS, CSP, actors model).

By Scott Johnson at Mon, 2005-02-07 18:14 | login or register to post comments

Concurrency ?

So maybe it should be called "Concurrency" after all. Actually I thought some time ago about a Concurrency Wiki, but I have nowhere to host it. It would be about formalisms/calculi/techniques and approaches to concurrency, from theory to practice.

By Andrei Formiga at Mon, 2005-02-07 18:18 | login or register to post comments

We have a department for the

We have a department for these things already. It's just not under the theory heading. I understnad that some of the more formal papers should really fall there, so I'll add a department once we agree on a name...

By Ehud Lamm at Mon, 2005-02-07 18:37 | login or register to post comments