Displaying similar documents to “An operational semantics for process algebra”

BPMN Analysis of Public Procurement

Semerdjieva, Maria, Krastev, Evgeniy (2012)

Serdica Journal of Computing

Similarity:

ACM Computing Classification System (1998): D.0, D.2.11. This paper formulates a realistic case study of a public procurement process, where the national legal system is taken in consideration. Business Process Modeling Notation (BPMN) is used for encoding processes related to the analysis of public procurement tasks. Critical elements in the public procurement process that affect time, quality and cost are identified at the organizational, process execution and system levels....

The class of 2-dimensional neat reducts is not elementary

Tarek Sayed Ahmed (2002)

Fundamenta Mathematicae

Similarity:

SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends...