Arkiver - Side 18

• PB-176 A Conceptual Framework for the Characterization of Petri Net Description Techniques

  Nr. 176 (1984)

• PB-175 A Taxonomy for Programming Languages with Multi-Sequential Processes

  Nr. 175 (1984)

• PB-173 Comparative Semantics of Programming Languages

  Nr. 173 (1984)

• PB-172 ISAC: A Case Study of Systems Description Tools

  Nr. 172 (1984)

• PB-171 Metoder til teknologivurdering: - overvejelser over praksis i Utopia-projektet

  Nr. 171 (1984)

• PB-169 A Discussion of Prototyping within a Conceptual Framework

  Nr. 169 (1983)

• PB-170 COMMON CLASS: - a tool for programming the access to shared data

  Nr. 170 (1983)

• PB-168 Physical Datarepresentation in a Multiprocessor Database Machine

  Nr. 168 (1983)

• PB-167 Experiments with a fast String Searching Algorithm

  Nr. 167 (1983)

• PB-166 Finite Precision Rational Arithmetic: Slash Number Systems

  Nr. 166 (1983)

• PB-163 Categorial Heterogeneous Algebraic Models of Programming Languages

  Nr. 163 (1983)

• PB-164 On Contractive Linear Multistep and One-Leg Methods

  Nr. 164 (1983)

• PB-165 PAL - A Language for Multiple-Precision Algorithms

  Nr. 165 (1983)

• PB-160 A Proposition for a Theory of Testing: An Abstract Approach to the Testing Process

  Nr. 160 (1983)

• PB-162 A Computational Model for ADA and other concurrent languages

  Nr. 162 (1983)

• PB-161 HSIM - a hardware simulator

  Nr. 161 (1983)

• PB-159 Event Structure Semantics for CCS and Related Languages

  Nr. 159 (1983)

• PB-158 A Theory for Bipolar Synchronisation Schemes

  Nr. 158 (1983)

• PB-157 Program Models: Meaning and Proof

  Nr. 157 (1983)

• PB-156 Type Algebras, Functor Categories, and Block Structure

  Nr. 156 (1983)

• PB-150 EPSILON: A System Description Language

  Nr. 150 (1982)

• PB-153 Specification and Verification of Networks in a Petri Net based Language

  Nr. 153 (1982)

• PB-154 A Measure in Which Boolean Negation is Exponentially Powerful

  Nr. 154 (1982)

• PB-151 High-Level Petri Nets

  Nr. 151 (1982)

• PB-155 Syntax Directed Program Modularization

  Nr. 155 (1982)