ASIAN
1998
Springer
14 years 3 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
ASIAN
1998
Springer
14 years 3 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
ASIAN
1998
Springer
14 years 3 months ago
1998
Springer
We show that rigid reachability, the non-symmetric form of rigid E-unification, is undecidable already in the case of a single constraint. From this we infer the undecidability of ...
ASIAN
1998
Springer
14 years 3 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
ASIAN
1998
Springer
14 years 3 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
APPROX
1998
Springer
14 years 3 months ago
1998
Springer
We present randomized approximation algorithms for the circular arc graph colouring problem and for the problem of bandwidth allocation in all-optical ring networks. We obtain a fa...
ANTS
1998
Springer
14 years 3 months ago
1998
Springer
In this note we address the question whether for a given prime number p, the zeta-function of a number field always determines the p-part of its class number. The answer is known t...
ANTS
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
ANTS
1998
Springer
14 years 3 months ago
1998
Springer
In 1986, following the work of Schoof on counting points on elliptic curves over finite fields, new algorithms for primality proving emerged, due to Goldwasser and Kilian on the on...
ANTS
1998
Springer
14 years 3 months ago
1998
Springer