Archives - Page 4

• PB-525 Plans as Situated Action: An Activity Theory Approach to Workflow Systems

  No. 525 (1997)

• PB-524 Modular State Space Analysis of Coloured Petri Nets

  No. 524 (1997)

• PB-519 Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components

  No. 519 (1997)

• PB-522 Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems

  No. 522 (1997)

• PB-521 Parametrisation of Coloured Petri Nets

  No. 521 (1997)

• PB-523 Organisational Prototyping: Adopting CSCW Applications in Organisations

  No. 523 (1997)

• PB-518 Modelling the Work Flow of a Nuclear Waste Management Program

  No. 518 (1997)

• PB-520 Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course

  No. 520 (1997)

• PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets

  No. 511 (1997)

• PB-517 Analysing Coloured Petri Nets by the Occurrence Graph Method

  No. 517 (1997)

• PB-516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method

  No. 516 (1997)

• PB-515 Verification by State Spaces with Equivalence Classes

  No. 515 (1997)

• PB-514 Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets

  No. 514 (1997)

• PB-513 Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

  No. 513 (1997)

• PB-512 Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and...

  No. 512 (1997)

• PB-510 Multi-Level Languages: a Descriptive Framework

  No. 510 (1996)

• PB-509 Ragnarok

  No. 509 (1996)

• PB-507 Users and Computers - A Contextual Approach to Design of Computer Artifacts

  No. 507 (1996)

• PB-508 Tools for Stored Interactive Multimedia

  No. 508 (1996)

• PB-504 Dynamically Extensible Objects in a Class-Based Language

  No. 504 (1996)

• PB-506 MetaBETA: Model and Implementation

  No. 506 (1996)

• PB-505 Dynamic Reflection for a Statically Typed Language

  No. 505 (1996)

• PB-502 Polymorphic Subtyping for Effect Analysis: The Semantics

  No. 502 (1996)

• PB-501 Polymorphic Subtyping for Effect Analysis: The Integration

  No. 501 (1996)

• PB-503 Polymorphic Subtyping for Effect Analysis: the Algroithm

  No. 503 (1996)