@article{Karp1969147,
    Author = {Karp, Richard M. and Miller, Raymond E.},
    File = {Parallel program schemata - Karp, Miller (0) (0) - a - a - c.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {communicating automata and Petri nets and classic and readme},
    Number = {2},
    Pages = {147 - 195},
    Title = {Parallel program schemata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000069800115},
    Volume = {3},
    Year = {1969},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000069800115},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0022-0000(69)80011-5},
    date-added = {2012-10-26 09:33:01 +0000},
    date-modified = {2013-12-13 12:37:30 +0000},
    doi = {10.1016/S0022-0000(69)80011-5}
}

@article{Karp1969147, Author = {Karp, Richard M. and Miller, Raymond E.}, File = {Parallel program schemata - Karp, Miller (0) (0) - a - a - c.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {communicating automata and Petri nets and classic and readme}, Number = {2}, Pages = {147 - 195}, Title = {Parallel program schemata}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000069800115}, Volume = {3}, Year = {1969}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000069800115}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0022-0000(69)80011-5}, date-added = {2012-10-26 09:33:01 +0000}, date-modified = {2013-12-13 12:37:30 +0000}, doi = {10.1016/S0022-0000(69)80011-5} }