Results 231 to 240 of about 5,002 (241)
Some of the next articles are maybe not open access.
Pi-Calculus
2011 Bruce Leasure, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua, Utpal Banerjee, Olaf Schenk, Klaus Gärtner, David Padua, Howard Jay Siegel, Bobby Dalton Young, Roy H. Campbell, Ümit Çatalyürek, Cevdet Aykanat, Jasmin Ajanovic, Stefan Schmid, Roger Wattenhofer, E. N. Mootaz Elnozahy, Evan W. Speight, Jian Li, Ram Rajamony, Lixin Zhang, Baba Arimilli, David Padua, Michael Gerndt, Michael Gerndt, David Padua, Jack B. Dennis, Barry Smith, George Almasi, Alexandros Stamatakis, Davide Sangiorgi, Davide Sangiorgi, David Padua, John A. Gunnels, Jack Dongarra, Piotr Luszczek, Bernd Mohr, Rudolf Eigenmann, Paul Feautrier, Christian Lengauer, David Padua, Pradip Bose, Joseph F. JaJa, Anshul Gupta, Rocco De Nicola, David Padua, David Padua, David Padua, Roger S. Armen, Eric R. May, Michela Taufer, Al Geist +54 moreopenaire +1 more sourceThe \(\pi\)-calculus: Notes on labelled semantics
1999 Summary: The \(\pi\)-calculus is a name-passing calculus that allows the description of distributed systems with a dynamically changing interconnection topology. Name communication, together with the possibility of declaring and exporting local names, gives the calculus a great expressive power.openaire +2 more sources