Tag picalculus [75 articles] Export

Recent papers classified by the tag picalculus.

	On the expressiveness of internal mobility in name-passing calculi [My Copy] Theor. Comput. Sci., Vol. 195, No. 2. (1998), pp. 205-226. by Michele Boreale posted to picalculus fullabstraction concurrency by keigoi on 2009-10-27 14:35:48 as
	Locality and Polyadicity in Asynchronous Name-Passing Calculi [My Copy] Foundations of Software Science and Computation Structures (2000), pp. 238-251. by Massimo Merro posted to picalculus concurrency by keigoi on 2009-10-27 03:49:28 as
	A Chart Semantics for the Pi-Calculus [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 194, No. 2. (January 2008), pp. 3-29. by Johannes Borgström, Andrew D. Gordon, Andrew Phillips posted to picalculus visualization by keigoi on 2009-06-04 13:51:09 as along with 1 person leonardo
	ACVisualizer: A visualization tool for APi-calculus [My Copy] Multiagent Grid Syst., Vol. 4, No. 3. (2008), pp. 271-291. by Raheel Ahmad, Shahram Rahimi posted to picalculus visualization by keigoi on 2009-06-04 13:44:18 as
	A theory of system behaviour in the presence of node and link failures [My Copy] (2005), pp. 368-382. by Adrian Francalanza, Matthew Hennessy posted to distributed picalculus by keigoi on 2009-05-23 09:12:47 as
	The name discipline of uniform receptiveness [My Copy] Theor. Comput. Sci., Vol. 221, No. 1-2. (1999), pp. 457-493. by Davide Sangiorgi posted to lineartype picalculus by keigoi on 2009-05-05 07:02:07 as
	From [lambda] to [pi]; or, Rediscovering continuations [My Copy] Mathematical Structures in Computer Science, Vol. 9, No. 04. (1999), pp. 367-401. by Davide Sangiorgi posted to picalculus by keigoi on 2009-04-16 00:41:00 as
	PiLib: A Hosted Language for Pi-Calculus Style Concurrency [My Copy] Domain-Specific Program Generation (2004), pp. 180-195. by Vincent Cremet, Martin Odersky posted to functionalprogramming picalculus scala by keigoi on 2008-12-25 00:38:12 as
	History-Dependent Automata: An Introduction [My Copy] Formal Methods for Mobile Computing (2005), pp. 1-28. by Ugo Montanari, Marco Pistore posted to hdautomata picalculus by keigoi on 2008-11-20 09:10:26 as
	A Higher-Order Specification of the pi-Calculus [My Copy] In TCS '00: Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics (2000), pp. 425-439. by Joëlle Despeyroux posted to hoas picalculus by keigoi on 2008-11-20 05:33:47 as
	An Introduction to History Dependent Automata [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 10 (1998), pp. 170-188. by U. Montanari, M. Pistore posted to hdautomata picalculus by keigoi on 2008-11-20 05:24:44 as
	Typed Event Structures and the π-CalculusExtended Abstract [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 158 (05 May 2006), pp. 373-397. by D. Varacca, N. Yoshida posted to eventstructure picalculus causality by keigoi on 2008-11-17 08:24:18 as
	Compositional Event Structure Semantics for the Internal π -Calculus [My Copy] CONCUR 2007 – Concurrency Theory (2007), pp. 317-332. by Silvia Crafa, Daniele Varacca, Nobuko Yoshida posted to eventstructure picalculus causality by keigoi on 2008-11-17 08:23:01 as
	Fair Π⋆ [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 175, No. 3. (28 June 2007), pp. 3-26. by D. Cacciagrano, F. Corradini, C. Palamidessi posted to concurrency picalculus by keigoi on 2008-11-17 06:49:31 as
	A Coq Library for Verification of Concurrent Programs [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 199 (24 February 2008), pp. 17-32. by R. Affeldt, N. Kobayashi posted to coq picalculus by keigoi on 2008-11-17 06:48:53 as
	Model checking for $π$-calculus using proof search [My Copy] (2005), pp. 36-50. by Alwen Tiu posted to concurrency modelchecking picalculus by keigoi on 2008-11-17 06:17:01 as
	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 71 (April 2004), pp. 261-281. by P. Thati, K. Sen, N. Martioliet posted to maude picalculus by keigoi on 2008-11-10 07:05:46 as
	Sequentiality and the π-Calculus [My Copy] Typed Lambda Calculi and Applications (2001), pp. 29-45. by Martin Berger, Kohei Honda, Nobuko Yoshida posted to picalculus by keigoi on 2008-07-11 10:38:18 as
	Region analysis and a π-calculus with groups [My Copy] J. Funct. Program., Vol. 12, No. 3. (May 2002), pp. 229-292. by Silvano D. Zilio, Andrew D. Gordon posted to picalculus region by keigoi on 2008-07-05 10:01:16 as
	Multiparty asynchronous session types [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 273-284. by Kohei Honda, Nobuko Yoshida, Marco Carbone posted to picalculus session by keigoi on 2008-06-19 04:31:26 as along with 2 people msakai ama08r
	A New Type System for Deadlock-Free Processes [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 233-247. by Naoki Kobayashi posted to concurrency deadlock picalculus by keigoi on 2008-04-30 04:21:15 as
	A Proof Search Specification of the [pi]-Calculus [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), Vol. 138, No. 1. (9 September 2005), pp. 79-101. by Alwen Tiu, Dale Miller posted to picalculus by keigoi on 2008-04-24 14:45:39 as
	Comparing operational models of name-passing process calculi [My Copy] Inf. Comput., Vol. 204, No. 4. (April 2006), pp. 524-560. by Marcelo Fiore, Sam Staton posted to picalculus by keigoi on 2008-02-28 15:51:37 as
	Complete inference systems for weak bisimulation equivalences in the [pi]-calculus [My Copy] Information and Computation, Vol. 180, No. 1. (10 January 2003), pp. 1-29. by Huimin Lin posted to picalculus by keigoi on 2008-02-28 15:24:54 as
	Modal logics for mobile processes [My Copy] Theoretical Computer Science, Vol. 114, No. 1. (14 June 1993), pp. 149-171. by Robin Milner, Joachim Parrow, David Walker posted to modallogic picalculus by keigoi on 2008-02-27 07:53:48 as along with 1 person bfraser
	A calculus of mobile processes, I [My Copy] Inf. Comput., Vol. 100, No. 1. (September 1992), pp. 1-40. by Robin Milner, Joachim Parrow, David Walker posted to picalculus by keigoi on 2008-02-19 11:02:10 as along with 3 people ama08r chihchun_chen mperalta
	A calculus of mobile processes, II [My Copy] Information and Computation, Vol. 100, No. 1. (September 1992), pp. 41-77. by Robin Milner, Joachim Parrow, David Walker posted to picalculus by keigoi on 2008-02-19 11:02:05 as along with 2 people chihchun_chen mperalta
	On bisimulations for the asynchronous [pi]-calculus [My Copy] Theoretical Computer Science In Concurrency Theory, Vol. 195, No. 2. (30 March 1998), pp. 291-324. by Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi posted to picalculus by keigoi on 2008-02-19 09:01:32 as along with 1 person fierykylin
	Name-passing style GUI programming in the [pi]-calculus-based language Nepi [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004), Vol. 139, No. 1. (4 November 2005), pp. 145-168. by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen posted to gui picalculus by keigoi on 2008-02-15 04:53:00 as along with 1 person shimomura
	&\#960;-ADL: an Architecture Description Language based on the higher-order typed &\#960;-calculus for specifying dynamic and mobile software architectures [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 3. (May 2004), pp. 1-14. by Flavio Oquendo posted to picalculus softwaredesign by keigoi on 2008-02-13 17:56:16 as
	A logical encoding of the &\#x03c0;-calculus: model checking mobile processes using tabled resolution [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 6, No. 1. (July 2004), pp. 38-66. by Ping Yang, C. R. Ramakrishnan, Scott A. Smolka posted to logicprogramming modelchecking picalculus by keigoi on 2008-02-13 17:42:23 as
	The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a p-Calculus Based Architecture Description Language [My Copy] Software Architecture (2005), pp. 30-40. by Brian Warboys, Mark Greenwood, Ian Robertson, et al.Ron Morrison, Dharini Balasubramaniam, Graham Kirby, Kath Mickan posted to picalculus softwaredesign softwareengineering by keigoi on 2008-02-13 17:18:09 as
	Encoding Duce in the -Calculus [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 310-326. by Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca posted to duce picalculus subtyping by keigoi on 2008-02-12 10:32:01 as
	Language Primitives and Type Discipline for Structured Communication-Based Programming [My Copy] In ESOP '98: Proceedings of the 7th European Symposium on Programming, Vol. 1381 (1998), pp. 122-138. by Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo posted to picalculus session by keigoi on 2007-10-30 02:10:11 as along with 1 person thsutton
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted to picalculus session by keigoi on 2007-10-30 01:55:24 as along with 3 people ama08r msakai shimomura
	Interaction diagrams [My Copy] Nordic J. of Computing, Vol. 2, No. 4. (1995), pp. 407-443. by Joachim Parrow posted to picalculus visualization by keigoi on 2007-10-23 04:34:01 as
	Linearity and the pi-calculus [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947. by Naoki Kobayashi, Benjamin C. Pierce, David N. Turner posted to lineartype picalculus by keigoi on 2007-10-22 14:47:33 as along with 2 people mcclurmc bfraser
	A logical analysis of aliasing in imperative higher-order functions [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 280-293. by Martin Berger, Kohei Honda, Nobuko Yoshida posted to picalculus programlogic by keigoi on 2007-10-22 10:47:04 as
	From process logic to program logic [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 163-174. by Kohei Honda posted to picalculus programlogic by keigoi on 2007-10-22 09:52:25 as along with 1 person and 1 group kiniry SRG_at_UCD
	On asynchrony in name-passing calculi [My Copy] Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (October 2004), pp. 715-767. by Massimo Merro, Davide Sangiorgi posted to picalculus by keigoi on 2007-10-22 08:30:12 as
	Finite State Verification for the Asynchronous pi-Calculus [My Copy] In TACAS '99: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (1999), pp. 255-269. by Ugo Montanari, Marco Pistore posted to picalculus by keigoi on 2007-10-15 06:54:35 as along with 1 person msakai
	Ensuring termination by typability [My Copy] Information and Computation, Vol. 204, No. 7. (July 2006), pp. 1045-1082. by Yuxin Deng, Davide Sangiorgi posted to picalculus by keigoi on 2007-10-08 09:30:03 as
	What is a "Good" Encoding of Guarded Choice? [My Copy] Information and Computation, Vol. 156, No. 1-2. (10 January 2000), pp. 287-319. by Uwe Nestmann posted to picalculus by keigoi on 2007-10-08 08:54:33 as
	Proof Systems for pi-Calculus Logics [My Copy] In Logic for Concurrency and Synchronisation (2001) by Mads Dam edited by R. de Queiroz posted to modallogic picalculus by keigoi on 2007-10-06 16:14:59 as
	A model-checking verification environment for mobile processes [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473. by Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore posted to modelchecking picalculus by keigoi on 2007-10-06 15:43:10 as along with 1 person streetlightios
	Model checking mobile processes [My Copy] Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51. by Mads Dam posted to modallogic modelchecking picalculus by keigoi on 2007-09-28 07:55:18 as along with 1 person shimomura
	Formalization and Verification of a Mail Server in Coq [My Copy] Software Security - Theories and Systems (2003), pp. 283-288. by Reynald Affeldt, Naoki Kobayashi posted to picalculus by keigoi on 2007-09-04 23:15:22 as
	Subtyping for session types in the pi calculus [My Copy] Acta Informatica, Vol. 42, No. 2. (22 November 2005), pp. 191-225. by Simon Gay, Malcolm Hole posted to picalculus session by keigoi on 2007-06-17 13:50:53 as along with 1 person ama08r
	A Tile-Based Coordination View of Asynchronous pi-Calculus [My Copy] In MFCS '97: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (1997), pp. 52-70. by Gian L. Ferrari, Ugo Montanari posted to context picalculus tile by keigoi on 2007-05-03 02:05:55 as
	Self-applicable partial evaluation for the pi-calculus [My Copy] In PEPM '97: Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (1997), pp. 36-46. by Marc Gengler, Matthieu Martel posted to metaprogramming picalculus by keigoi on 2007-04-30 05:12:37 as

Note: You may cite this page as: http://www.citeulike.org/tag/picalculus

Result page: 1 2 Next

concurrency	20
distributed	10
modelchecking	5
session	5
causality	4
modallogic	4
visualization	3
coq	2
duce	2
eventstructure	2
hdautomata	2
lineartype	2
location	2
programlogic	2
softwaredesign	2
subtyping	2
webapplication	2
categorytheory	1
context	1
deadlock	1
denotationalsemantics	1
erlang	1
fullabstraction	1
functionalprogramming	1
gui	1
hoas	1
implementation	1
logicprogramming	1
maude	1
metaprogramming	1
region	1
scala	1
softwareengineering	1
tile	1

Tag picalculus [75 articles] Export

Related Tags