603 search results - page 28 / 121 » A Formal Operational Semantics for SOFL |
116
click to vote
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
99
Voted
CEEMAS
2003
Springer
15 years 7 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
136
click to vote
AMSTERDAM
2009
14 years 11 months ago
2009
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...
115
Voted
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
94
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...