keigoi's concurrency [78 articles] Export

Recent papers added to keigoi's library classified by the tag concurrency. You can also see everyone's concurrency.

	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
	Structured operational semantics and bisimulation as a congruence [My Copy] Information and Computation, Vol. 100, No. 2. (October 1992), pp. 202-260. by J. Groote, F. Vaandrager posted to concurrency operationalsemantics by keigoi on 2009-04-22 16:15:21 as
	Transition system specifications with negative premises [My Copy] Theoretical Computer Science, Vol. 118, No. 2. (27 September 1993), pp. 263-299. by J. Groote posted to concurrency operationalsemantics by keigoi on 2009-04-22 16:08:08 as
	A front-end generator for verification tools [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (1995), pp. 153-173. by Rance Cleaveland, Eric Madelaine, Steve Sims posted to concurrency by keigoi on 2009-04-22 15:56:12 as
	Generic tools for verifying concurrent systems [My Copy] Science of Computer Programming, Vol. 42, No. 1. (January 2002), pp. 39-47. by R. Cleaveland posted to concurrency by keigoi on 2009-04-22 15:47:20 as
	Process algebra for synchronous communication [My Copy] Information and Control, Vol. 60, No. 1-3. (January 1984), pp. 109-137. by J. Bergstra, J. Klop posted to concurrency by keigoi on 2009-04-22 10:17:47 as
	Acceptance trees [My Copy] J. ACM, Vol. 32, No. 4. (1985), pp. 896-928. by M. Hennessy posted to concurrency by keigoi on 2008-12-01 06:31:52 as
	CCS without τ's [My Copy] TAPSOFT '87 (1987), pp. 138-152. by Rocco De Nicola, Matthew Hennessy posted to concurrency by keigoi on 2008-12-01 06:28:29 as
	Refusal Testing for Classes of Transition Systems with Inputs and Outputs [My Copy] In FORTE X / PSTV XVII '97: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII) (1998), pp. 23-38. by Lex Heerink, Jan Tretmans posted to concurrency by keigoi on 2008-11-30 07:17:27 as along with 1 person pedagand
	Event Structure Semantics for Nominal Calculi [My Copy] CONCUR 2006 – Concurrency Theory (2006), pp. 295-309. by Roberto Bruni, Hernán Melgratti, Ugo Montanari posted to causality concurrency eventstructure by keigoi on 2008-11-20 16:00:22 as
	Finite labelling problem in event structures [My Copy] Theoretical Computer Science, Vol. 123, No. 1. (17 January 1994), pp. 9-19. by M. Assous posted to causality concurrency eventstructure by keigoi on 2008-11-20 11:31:53 as
	Enhanced operational semantics: a tool for describing and analyzing concurrent systems [My Copy] ACM Comput. Surv., Vol. 33, No. 2. (June 2001), pp. 135-176. by Pierpaolo Degano, Corrado Priami posted to causality concurrency by keigoi on 2008-11-20 05:18:35 as along with 1 person leonardo
	Causal Trees [My Copy] In ICALP '89: Proceedings of the 16th International Colloquium on Automata, Languages and Programming (1989), pp. 234-248. by Philippe Darondeau, Pierpaolo Degano posted to causality concurrency by keigoi on 2008-11-20 04:37:26 as
	Relations in Concurrency [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005), pp. 2-11. by Glynn Winskel posted to concurrency eventstructure causality by keigoi on 2008-11-18 10:10:09 as
	Name Generation and Linearity [My Copy] In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005), pp. 301-310. by Glynn Winskel posted to concurrency eventstructure causality by keigoi on 2008-11-18 10:09:59 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
	Comparing communication primitives via their relative expressive power☆ [My Copy] Information and Computation, Vol. 206, No. 8. (August 2008), pp. 931-952. by D. Gorla posted to concurrency by keigoi on 2008-11-17 06:36:06 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
	A theory of bisimulation for a fragment of concurrent ML with local names [My Copy] Theoretical Computer Science, Vol. 323, No. 1-3. (September 2004), pp. 1-48. by A. Jeffrey posted to concurrency functionalprogramming by keigoi on 2008-11-17 04:48:01 as
	A hierarchy of equivalences for asynchronous calculi [My Copy] Journal of Logic and Algebraic Programming, Vol. 63, No. 1. (April 2005), pp. 131-173. by C. Fournet, G. Gonthier posted to concurrency by keigoi on 2008-11-14 03:05:52 as
	A process algebraic view of input/output automata [My Copy] Theoretical Computer Science, Vol. 138, No. 2. (20 February 1995), pp. 391-423. by R. De Nicola posted to concurrency by keigoi on 2008-11-13 14:40:31 as
	Implementing CCS in Maude 2 [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 71 (April 2004), pp. 282-300. by A. Verdejo, N. Martioliet posted to concurrency maude by keigoi on 2008-11-10 16:38:50 as
	Branching bisimilarity is an equivalence indeed! [My Copy] Information Processing Letters, Vol. 58, No. 3. (13 May 1996), pp. 141-147. by Twan Basten posted to concurrency by keigoi on 2008-07-15 08:06:18 as
	Bisimulation can't be traced [My Copy] J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268. by Bard Bloom, Sorin Istrail, Albert R. Meyer posted to concurrency by keigoi on 2008-07-02 17:47:26 as along with 3 people christiankissig numba37 msakai
	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
	Static Deadlock Detection for Java Libraries [My Copy] ECOOP 2005 - Object-Oriented Programming (2005), pp. 602-629. by Amy Williams, William Thies, Michael D. Ernst posted to concurrency java by keigoi on 2008-02-13 18:44:12 as along with 1 person bfraser
	Open bisimulation for aspects [My Copy] In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development (2007), pp. 107-120. by Radha Jagadeesan, Corin Pitcher, James Riely posted to aspectoriented concurrency by keigoi on 2008-02-13 18:12:14 as along with 1 person bfraser
	Modelling and verifying web service orchestration by means of the concurrency workbench [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 5. (September 2004), pp. 1-10. by Mariya Koshkina, Franck van Breugel posted to concurrency web_verification by keigoi on 2007-12-28 01:30:15 as
	On Verifying Distributed Multithreaded Java Programs [My Copy] Software Quality Journal, Vol. 8, No. 4. (1 December 1999), pp. 321-341. by Jessica Chen posted to concurrency java by keigoi on 2007-12-28 01:16:53 as
	On observing nondeterminism and concurrency [My Copy] Automata, Languages and Programming (1980), pp. 299-309. by Matthew Hennessy, Robin Milner posted to concurrency by keigoi on 2007-12-18 21:37:15 as along with 1 person olegus
	Event structures [My Copy] Petri Nets: Applications and Relationships to Other Models of Concurrency, Vol. 255 (1987), pp. 325-392. by Glynn Winskel posted to concurrency eventstructure causality by keigoi on 2007-10-31 01:44:24 as
	What is a free name in a process algebra? [My Copy] Information Processing Letters, Vol. 103, No. 5. (31 August 2007), pp. 188-194. by Flemming Nielson, Hanne R. Nielson, Henrik Pilegaard posted to concurrency by keigoi on 2007-06-22 19:30:05 as
	The Essence of Multitasking [My Copy] LNCS In Algebraic Methodology and Software Technology, Vol. 4019 (2006), pp. 158-172. by William L. Harrison posted to concurrency haskell by keigoi on 2007-05-12 01:52:13 as
	The tile model [My Copy] (2000), pp. 133-166. by Fabio Gadducci, Ugo Montanari posted to concurrency context tile trs by keigoi on 2007-05-02 16:51:01 as
	Combining Events and Threads for Scalable Network Services : Implementation and evaluation of monadic, application-level concurrency primitives [My Copy] In PLDI 2007: Programming Language Design and Implementation (2007) by Peng Li, Steve Zdancewic posted to concurrency concurrency-monad haskell by keigoi on 2007-04-28 01:44:31 as
	A Non-Interleaving Semantics of Concurrent Process with Name Passing [My Copy] コンピュータソフトウェア, Vol. 17, No. 1. (2000), pp. 45-58. by Murakami Masaki posted to causality concurrency by keigoi on 2007-04-26 20:01:01 as
	A Complete Axiomatic Semantics for the CSP Stable-Failures Model [My Copy] : CONCUR 2006 – Concurrency Theory (2006), pp. 158-172. by Yoshinao Isobe, Markus Roggenbach posted to concurrency csp by keigoi on 2007-04-12 04:55:50 as along with 1 person and 1 group janschaefer TU-KL-SoftwareTechnologyGroup
	Ordered SOS Process Languages for Branching and Eager Bisimulations [My Copy] Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 180-213. by Irek Ulidowski, Iain Phillips posted to concurrency operationalsemantics by keigoi on 2007-04-04 04:24:36 as
	On reduction-based process semantics [My Copy] Theoretical Computer Science In 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 151, No. 2. (27 November 1995), pp. 437-486. by Kohei Honda, Nobuko Yoshida posted to concurrency picalculus by keigoi on 2007-03-28 08:28:24 as
	Modelling dynamic web data [My Copy] Theoretical Computer Science In Applied Semantics: Selected Topics, Vol. 342, No. 1. (6 September 2005), pp. 104-131. by Philippa Gardner, Sergio Maffeis posted to concurrency distributed picalculus webapplication by keigoi on 2007-03-22 00:04:26 as along with 5 people web03 librarian01 p2p01 blog01 education02
	Structured coalgebras and minimal HD-automata for the [pi]-calculus [My Copy] Theoretical Computer Science In Mathematical Foundations of Computer Science 2000, Vol. 340, No. 3. (31 August 2005), pp. 539-576. by Ugo Montanari, Marco Pistore posted to categorytheory concurrency distributed picalculus by keigoi on 2007-03-22 00:02:50 as
	A generic type system for the Pi-calculus [My Copy] Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163. by Atsushi Igarashi, Naoki Kobayashi posted to concurrency picalculus by keigoi on 2007-03-20 00:53:05 as along with 2 people and 1 group janschaefer yoriyuki TU-KL-SoftwareTechnologyGroup
	Towards a Tree of Channels [My Copy] Electronic Notes in Theoretical Computer Science In FGC, Foundations of Global Computing, 2nd EATCS Workshop (Satellite Event of ICALP 2003), Vol. 85, No. 1. (September 2003), 80. by Xudong Guan posted to concurrency distributed picalculus by keigoi on 2007-03-15 08:24:24 as along with 1 person and 1 group janschaefer TU-KL-SoftwareTechnologyGroup
	Mobile Agents in Interaction Spaces [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), Foundations of Coordination Languages and Software Architectures 2005, Vol. 154, No. 1. (11 May 2006), pp. 63-82. by Frederic Peschanski posted to concurrency distributed picalculus by keigoi on 2007-03-15 05:50:09 as
	An interaction-based language and its typing system [My Copy] : PARLE'94 Parallel Architectures and Languages Europe (1994), pp. 398-413. by Kaku Takeuchi, Kohei Honda, Makoto Kubo posted to session concurrency by keigoi on 2007-02-11 07:44:29 as along with 1 person ama08r
	Secrecy and group creation [My Copy] Inf. Comput., Vol. 196, No. 2. (January 2005), pp. 127-155. by Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon posted to concurrency picalculus by keigoi on 2007-02-10 10:16:11 as
	Strong normalisation in the Pi-calculus [My Copy] Inf. Comput., Vol. 191, No. 2. (June 2004), pp. 145-202. by Nobuko Yoshida, Martin Berger, Kohei Honda posted to picalculus concurrency by keigoi on 2007-01-17 10:14:36 as along with 2 people and 1 group tendays janschaefer TU-KL-SoftwareTechnologyGroup
	A causal semantics for CCS via rewriting logic [My Copy] Theor. Comput. Sci., Vol. 275, No. 1-2. (2002), pp. 259-282. by Pierpaolo Degano, Fabio Gadducci, Corrado Priami posted to concurrency causality by keigoi on 2007-01-17 09:45:07 as
	A Causal Operational Semantics of Action Refinement [My Copy] Information and Computation, Vol. 122, No. 1. (October 1995), pp. 97-119. by P. Degano, R. Gorrieri posted to causality concurrency refinement by keigoi on 2007-01-17 09:35:49 as

Note: You may cite this page as: http://www.citeulike.org/user/keigoi/tag/concurrency

Result page: 1 2 Next

concurrency	78
picalculus	77
haskell	41
functionalprogramming	36
causality	19
operationalsemantics	17
distributed	15
softwareengineering	13
session	12
type	12
modelchecking	11
eventstructure	10
embeddedlanguage	9
webapplication	9
gui	8
hoas	8
fundeps	6
java	6
metaprogramming	6
typeclass	6
visualization	6
web_verification	6
comprehension	5
configurationmanagement	5
context	5
network	5
programlogic	5
refactoring	5
softwaredesign	5
stringanalysis	5
abstractinterpretation	4
concurrency-monad	4
domainspecific	4
embedded	4
location	4
logicprogramming	4
maude	4
modallogic	4
monad	4
programming	4
slicing	4
aspectoriented	3
chr	3
coq	3
databasereverse	3
dataflow	3
debruijn	3
implementation	3
javascript	3
lineartype	3
modulesystem	3
operatingsystem	3
programanalysis	3
reliability	3
reverse	3
safe-c	3
tile	3
workflowmanagement	3
ambient	2
categorytheory	2
continuation	2
cyclone	2
flowtype	2
fullabstraction	2
genericprogramming	2
hdautomata	2
modeling	2
refinement	2
rewritinglogic	2
softwareprocess	2
strictnessanalysis	2
subtyping	2
timedautomata	2
typedirected	2
alias	1
binary	1
c	1
cache	1
codeduplication	1
cognitive	1
component	1
continuationserver	1
csp	1
deadlock	1
denotationalsemantics	1
dependency	1
dimensional_analysis	1
dsl	1
duce	1
erlang	1
escapeanalysis	1
expressiveness	1
faulttolerance	1
gadt	1
hardware	1
immutable	1
iospec	1
lowlevel	1
lts	1
memory	1
migration	1
multilanguage	1
object_oriented_programming	1
p2p	1
partialevaluation	1
proofcarrying	1
region	1
resourcebounds	1
resourceusage	1
reuse	1
ruby	1
scala	1
scheme	1
spreadsheet	1
stm	1
survey	1
termrewriting	1
testing	1
timedsystem	1
trs	1
typecast	1
typefunction	1

keigoi's concurrency [78 articles] Export

keigoi's tags