4604 search results - page 359 / 921 » Concurrency in Synchronous Systems |
196
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
205
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
132
click to vote
NAACL
1994
15 years 8 months ago
1994
Development has begun on a semantic evaluation (SemEval) methodology and infrastructure for the ARPA Spoken Language Program. SemEval is an attempt to define a task-independent te...
200
click to vote
FUIN
2002
15 years 6 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...