@article(BK85,
 author       = "J. A. Bergstra and J. W. Klop",
 year         = "1985",
 title        = "Algebra of Communicating Processes with Abstraction",
 journal      = "Theor. Comput. Sci.",
 volume       = "37",
 pages        = "77--121",
 doi          = "10.1016/0304-3975(85)90088-X",
)
@article(BK84,
 author       = "Jan A. Bergstra and Jan Willem Klop",
 year         = "1984",
 title        = "Process Algebra for Synchronous Communication",
 journal      = "Information and Control",
 volume       = "60",
 number       = "1-3",
 pages        = "109--137",
 doi          = "10.1016/S0019-9958(84)80025-X",
)
@article(BBCPR10,
 author       = "Jean Berstel and Luc Boasson and Olivier Carton and Jean-Eric Pin and Antonio Restivo",
 year         = "2010",
 title        = "The expressive power of the shuffle product",
 journal      = "Inf. Comput.",
 volume       = "208",
 number       = "11",
 pages        = "1258--1272",
 doi          = "10.1016/j.ic.2010.06.002",
)
@inproceedings(BMT05,
 author       = "Ahmed Bouajjani and Markus M{\"u}ller-Olm and Tayssir Touili",
 year         = "2005",
 title        = "Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems",
 booktitle    = "CONCUR",
 pages        = "473--487",
 doi          = "10.1007/11539452\_36",
)
@phdthesis(PHDChristensen,
 author       = "S. Christensen",
 year         = "1993",
 title        = "Decidability and Decomposition in Process Algebras",
 school       = "Department of Computer Science, University of Edinburgh",
)
@inproceedings(CFL09,
 author       = "W. Czerwi{\'n}ski and S. B. Fr{\"o}schle and S. Lasota",
 year         = "2009",
 title        = "Partially-Commutative Context-Free Processes",
 booktitle    = "CONCUR",
 pages        = "259--273",
 doi          = "10.1007/978-3-642-04081-8\_18",
)
@article(CFL11,
 author       = "W. Czerwi{\'n}ski and S. B. Fr{\"o}schle and S. Lasota",
 year         = "2011",
 title        = "Partially-commutative context-free processes: expressibility and tractability",
 journal      = "Inf. Comput.",
 volume       = "209",
 number       = "5",
 pages        = "782--798",
 doi          = "10.1016/j.ic.2010.12.003",
)
@unpublished(CHL12,
 author       = "W. Czerwi{\'n}ski and P. Hofman and S. Lasota",
 year         = "2012",
 title        = "Reachability problem for weak multi-pushdown automata",
 note         = "To appear",
)
@article(DBLP:journals/fuin/Esparza97,
 author       = "J. Esparza",
 year         = "1997",
 title        = "Petri Nets, Commutative Context-Free Grammars, and {Basic Parallel Processes}",
 journal      = "Fundam. Inform.",
 volume       = "31",
 number       = "1",
 pages        = "13--25",
 doi          = "10.1007/3-540-60249-6\_54",
)
@article(Gischer81,
 author       = "Jay L. Gischer",
 year         = "1981",
 title        = "Shuffle Languages, Petri Nets, and Context-Sensitive Grammars",
 journal      = "Commun. ACM",
 volume       = "24",
 number       = "9",
 pages        = "597--605",
 doi          = "10.1145/358746.358767",
)
@inproceedings(DBLP:conf/icalp/HirshfeldJ99,
 author       = "Y. Hirshfeld and M. Jerrum",
 year         = "1999",
 title        = "Bisimulation Equivalence Is Decidable for Normed {Process Algebra}",
 booktitle    = "ICALP",
 pages        = "412--421",
 doi          = "10.1007/3-540-48523-6\_38",
)
@article(Mayr00,
 author       = "R. Mayr",
 year         = "2000",
 title        = "Process Rewrite Systems",
 journal      = "Inf. Comput.",
 volume       = "156",
 number       = "1-2",
 pages        = "264--286",
 doi          = "10.1006/inco.1999.2826",
)
@inproceedings(Mazurkiewicz88,
 author       = "A. W. Mazurkiewicz",
 year         = "1988",
 title        = "Basic notions of trace theory",
 booktitle    = "REX Workshop",
 pages        = "285--363",
)
@inproceedings(NSS03,
 author       = "M.-J. Nederhof and G. Satta and S. Shieber",
 year         = "2003",
 title        = "Partially Ordered Multiset Context-Free Grammars And Free-Word-Order Parsing",
 booktitle    = "Proc. 8th Intl Workshop on Parsing Technologies",
 pages        = "171--182",
)
@article(Srba02,
 author       = "J. Srba",
 year         = "2002",
 title        = "Roadmap of Infinite Results",
 journal      = "Bulletin of the EATCS",
 volume       = "78",
 pages        = "163--175",
)