dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Arthur Charlesworth Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur Charlesworth: Comprehending software correctness implies comprehending an intelligence-related limitation. ACM Trans. Comput. Log. 7(3): 590-612 (2006)
2005
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Szajda, Jason Owen, Barry G. Lawson, Arthur Charlesworth, Ed Kenney: An Alternate Multiplicity-2 Task Assignment Scheme for Distributed Computations. PDPTA 2005: 59-65
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur Charlesworth: The undecidability of associativity and commutativity analysis. ACM Trans. Program. Lang. Syst. 24(5): 554-565 (2002)
1987
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur Charlesworth: The Multiway Rendezvous. ACM Trans. Program. Lang. Syst. 9(3): 350-366 (1987)

Coauthor Index

1Ed Kenney [3]
2Barry Lawson (Barry G. Lawson) [3]
3Jason Owen [3]
4Doug Szajda [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page