Arkiver - Side 4

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

  Nr. 525 (1997)

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

  Nr. 524 (1997)

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

  Nr. 519 (1997)

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

  Nr. 522 (1997)

• PB-521 Parametrisation of Coloured Petri Nets

  Nr. 521 (1997)

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

  Nr. 523 (1997)

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

  Nr. 518 (1997)

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

  Nr. 520 (1997)

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

  Nr. 511 (1997)

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

  Nr. 517 (1997)

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

  Nr. 516 (1997)

• PB-515 Verification by State Spaces with Equivalence Classes

  Nr. 515 (1997)

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

  Nr. 514 (1997)

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

  Nr. 513 (1997)

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

  Nr. 512 (1997)

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

  Nr. 510 (1996)

• PB-509 Ragnarok

  Nr. 509 (1996)

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

  Nr. 507 (1996)

• PB-508 Tools for Stored Interactive Multimedia

  Nr. 508 (1996)

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

  Nr. 504 (1996)

• PB-506 MetaBETA: Model and Implementation

  Nr. 506 (1996)

• PB-505 Dynamic Reflection for a Statically Typed Language

  Nr. 505 (1996)

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

  Nr. 502 (1996)

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

  Nr. 501 (1996)

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

  Nr. 503 (1996)