Skip to main content
  • Conference proceedings
  • © 1983

Automata, Languages and Programming

10th Colloquium Barcelona, Spain, July 18–22, 1983

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 154)

Conference series link(s): ICALP: International Colloquium on Automata, Languages, and Programming

Conference proceedings info: ICALP 1983.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-40038-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (60 papers)

  1. Front Matter

  2. Linear time and branching time semantics for recursion with merge

    • J. W. de Bakker, J. A. Bergstra, J. W. Klop, J. -J. Ch. Meyer
    Pages 39-51
  3. Processes and a fair semantics for the ADA rendez-vous

    • J. W. de Bakker, J. I. Zucker
    Pages 52-66
  4. Conditional dependencies for horizontal decompositions

    • P. De Bra, J. Paredaens
    Pages 67-82
  5. On the relationship of CCS and CSP

    • Stephen D. Brookes
    Pages 83-96
  6. Behavioural equivalence relations induced by programming logics

    • Stephen D. Brookes, William C. Rounds
    Pages 97-108
  7. Lower bounds for constant depth circuits for prefix problems

    • Ashok K. Chandra, Steven Fortune, Richard Lipton
    Pages 109-117
  8. Test sets for morphisms with bounded delay

    • Christian Choffrut, Juhani Karhumaki
    Pages 118-127
  9. Ambiguity and decision problems concerning number systems

    • Karel Culik II, Arto Salomaa
    Pages 137-146
  10. On the observational semantics of fair parallelism

    • Ph. Darondeau, L. Kott
    Pages 147-159
  11. Algebraic languages and polyomnoes enumeration

    • M. P. Delest, G. Viennot
    Pages 173-181
  12. On the number of equal-sized semispaces of a set of points in the plane

    • Herbert Edelsbrunner, Emmerich Welzl
    Pages 182-187
  13. Algebraic specifications with generating constraints

    • H. Ehrig, E. G. Wagner, J. W. Thatcher
    Pages 188-202

Other Volumes

  1. Automata, Languages and Programming

    10th Colloquium Barcelona, Spain, July 18–22, 1983

Keywords

  • Monoid
  • algorithms
  • automata
  • complexity
  • constant
  • data structure
  • distributed systems
  • grammars
  • hardware
  • logic
  • network
  • parallelism
  • programming
  • semantics
  • theorem proving

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-40038-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)