242
click to vote
CAAP
15 years 11 months ago
1994 
Top-context-free tree languages (called cor gulier by Arnold and Dauchet 1, 2]) constitute a natural subclass of context-free tree languages. In this paper, we give further evidenc...
241
click to vote
GI
15 years 11 months ago
1994 Springer 
Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...
238
click to vote
MFCS
15 years 11 months ago
1994 Springer 
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
227
click to vote
STACS
15 years 11 months ago
1994 Springer
The complexity of the simple maxcut problem is investigated for several special classes of graphs. It is shown that this problem is NP-complete when restricted to one of the follo...
226
click to vote
FOCS
15 years 11 months ago
1994 IEEE
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
|
Theoretical Computer Science