3689 search results - page 41 / 738 » A Language with Distributed Scope |
MFCS
2004
Springer
14 years 3 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
DATESO
2009
13 years 7 months ago
2009
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
ICDCS
1994
IEEE
14 years 2 months ago
1994
IEEE