Search results for "BPA"

Found 114 publication records. Showing 114 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Mathias Weske	Business Process Management: A Survey.	Business Process Management	2003	DBLP DOI BibTeX RDF	Formal Methods, Workflow Management, Business Process Management
16	Jirí Srba	Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard.	ICALP	2002	DBLP DOI BibTeX RDF
16	Cornelis M. van Bemmel, Wiro J. Niessen, Onno Wink, Bert Verdonck, Max A. Viergever	Blood Pool Agent CE-MRA: Improved Arterial Visualization of the Aortoiliac Vasculature in the Steady-State Using First-Pass Data.	MICCAI	2001	DBLP DOI BibTeX RDF
16	Petr Jancar, Faron Moller	Techniques for Decidability and Undecidability of Bisimilarity.	CONCUR	1999	DBLP DOI BibTeX RDF
16	Antonín Kucera 0001, Richard Mayr	Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time.	CONCUR	1999	DBLP DOI BibTeX RDF
16	Richard Mayr	Model Checking PA-Processes.	CONCUR	1997	DBLP DOI BibTeX RDF	PA-processes, model checking, process algebras, tableau systems
16	Roland N. Bol, Jan Friso Groote	The Meaning of Negative Premises in Transition System Specifications.	J. ACM	1996	DBLP DOI BibTeX RDF	ntyft/ntyxt-format, conservative extension of TSSs, negative premises, priorities and abstraction, logic programming, process algebra, bisimulation, congruence
16	D. J. B. Bosscher, W. O. David Griffioen	Regularity for a Large Class of Context-Free Processes is Decidable.	ICALP	1996	DBLP DOI BibTeX RDF
16	Olaf Burkart, Didier Caucal, Bernhard Steffen	Bisimulation Collapse and the Process Taxonomy.	CONCUR	1996	DBLP DOI BibTeX RDF
16	Alessandro Fantechi, Stefania Gnesi, V. Perticaroli	An Expressive Logic for Basic Process Algebra.	MFCS	1993	DBLP DOI BibTeX RDF
16	Hans Hüttel	Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes.	CAV	1991	DBLP DOI BibTeX RDF
16	Roland N. Bol, Jan Friso Groote	The Meaning of Negative Premises in Transition System Specifications.	ICALP	1991	DBLP DOI BibTeX RDF
16	Jan A. Bergstra	ACP with Signals.	ALP	1988	DBLP DOI BibTeX RDF
16	Jan A. Bergstra, Jan Willem Klop	ACTtau: A Universal Axiom System for Process Specification.	Algebraic Methods	1987	DBLP DOI BibTeX RDF	1982 CR Categories F.1.2, F.4.3, D.3.3, F.3.2

Displaying result #101 - #114 of 114 (100 per page; Change: )
Pages: [<<][1][2]