2008 |
10 | EE | Neil C. C. Brown,
Marc L. Smith:
Representation and Implementation of CSP and VCR Traces.
CPA 2008: 329-345 |
9 | EE | Mark Burgin,
Marc L. Smith:
Concurrent Composition and Algebras of Events, Actions, and Processes
CoRR abs/0803.3099: (2008) |
2007 |
8 | | Mark Burgin,
Marc L. Smith:
Algebras of Actions in Concurrent Processes.
CPA 2007: 505 |
2006 |
7 | | Mark Burgin,
Marc L. Smith:
Compositions of Concurrent Processes.
CPA 2006: 281-296 |
6 | EE | Tiffani L. Williams,
Marc L. Smith:
The role of diverse populations in phylogenetic analysis.
GECCO 2006: 287-294 |
5 | EE | Marc L. Smith,
Tiffani L. Williams:
Phylospaces: reconstructing evolutionary trees in tuple space.
IPDPS 2006 |
2005 |
4 | | Marc L. Smith:
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation.
CPA 2005: 177-188 |
3 | | Marc L. Smith:
Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency.
FCS 2005: 118-124 |
2003 |
2 | | Charles E. Hughes,
Marc L. Smith:
Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis.
PDPTA 2003: 1502-1510 |
1 | | Marc L. Smith,
Charles E. Hughes:
A Characterization of Lazy and Eager Semantic Solutions to the Linda Predicates Ambiguity Problem.
PDPTA 2003: 1623-1627 |