Samson Abramsky (auth.), Josep Diaz (eds.)9783540123170, 3540123172
Table of contents :
On semantic foundations for applicative multiprogramming….Pages 1-14
An axiomatization of the intermittent assertion method using temporal logic….Pages 15-27
Topological characterizations of infinite behaviours of transition systems….Pages 28-38
Linear time and branching time semantics for recursion with merge….Pages 39-51
Processes and a fair semantics for the ADA rendez-vous….Pages 52-66
Conditional dependencies for horizontal decompositions….Pages 67-82
On the relationship of CCS and CSP….Pages 83-96
Behavioural equivalence relations induced by programming logics….Pages 97-108
Lower bounds for constant depth circuits for prefix problems….Pages 109-117
Test sets for morphisms with bounded delay….Pages 118-127
Symmetric and economical solutions to the mutual exclusion problem in a distributed system….Pages 128-136
Ambiguity and decision problems concerning number systems….Pages 137-146
On the observational semantics of fair parallelism….Pages 147-159
An O(N 4 ) algorithm to construct all Voronoi diagrams for k nearest neighbor searching….Pages 160-172
Algebraic languages and polyomnoes enumeration….Pages 173-181
On the number of equal-sized semispaces of a set of points in the plane….Pages 182-187
Algebraic specifications with generating constraints….Pages 188-202
Wythoff games, continued fractions, cedar trees and Fibonacci searches….Pages 203-225
Initial index: A new complexity function for languages….Pages 226-236
Modular compiler descriptions based on abstract semantic data types (Extended Abstract)….Pages 237-249
Polynomial-time factorization of multivariate polynomials over finite fields….Pages 250-263
Processes of place/transition-nets….Pages 264-277
A hardware semantics based on temporal intervals….Pages 278-291
Lower bounds for solving undirected graph problems on VLSI….Pages 292-303
Concurrent probabilistic program, or: How to schedule if you must….Pages 304-318
Computation times of NP sets of different densities….Pages 319-330
Rewrite methods for clausal and non-clausal theorem proving….Pages 331-346
Complexity of infinite trees….Pages 347-360
Incremental construction of unification algorithms in equational theories….Pages 361-373
Tree automata and attribute grammars….Pages 374-384
Effectively given spaces….Pages 385-396
A note on intersections of free submonoids of a free monoid….Pages 397-407
A fast sorting algorithm for VLSI….Pages 408-419
On the composition of morphisms and inverse morphisms….Pages 420-432
On the group complexity of a finite language….Pages 433-444
Reasoning with time and chance….Pages 445-457
Factoring multivariate integral polynomials….Pages 458-465
On the study data structures: Binary tournaments with repeated keys….Pages 466-477
Minimizing width in linear layouts….Pages 478-490
Proving precedence properties: The temporal way….Pages 491-512
An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language….Pages 513-526
Searchability in merging and implicit data structures….Pages 527-535
Strong abstract interpretation using power domains….Pages 536-547
Testing equivalences for processes….Pages 548-560
Specification-oriented semantics for communicating processes….Pages 561-572
Complexity classes of alternating machines with oracles….Pages 573-584
A propos d’une conjecture de F. Dejean sur les répétitions dans les mots….Pages 585-596
Parallel dictionaries on 2–3 trees….Pages 597-609
Varietes de semigroupes et mots infinis….Pages 610-616
Arbres et hierarchies de concatenation….Pages 617-628
A multiprocess network logic with temporal and spatial modalities….Pages 629-639
Enumeration of success patterns in logic programs….Pages 640-652
Immunity….Pages 653-661
Power domains and predicate transformers: A topological view….Pages 662-675
Recognition and isomorphism of two dimensional partial orders….Pages 676-686
On the simulation of many storage heads by a single one….Pages 687-694
Synchronisation trees….Pages 695-711
Cutting and partitioning a graph after a fixed pattern….Pages 712-722
Context-free controlled etol systems….Pages 723-733
Referees for ICALP-83….Pages 734-734
Reviews
There are no reviews yet.