Jump To : Overview | Titles | Subjects

Jensen, Kurt.

Overview

Works:	1 works in 3 publications in 1 languages

Titles

Transactions on petri nets and other models of concurrency VI by: Jensen, Kurt.; SpringerLink (Online service) (Language materials, printed)

Transactions on petri nets and other models of concurrency V by: Donatelli, Susanna.; SpringerLink (Online service); Jensen, Kurt.; Kleijn, Jetty. (Language materials, printed)

Transactions on petri nets and other models of concurrency III by: SpringerLink (Online service); Billington, Jonathan.; Koutny, Maciej.; Jensen, Kurt. (Language materials, printed)

Transactions on petri nets and other models of concurrency I by: Jensen, Kurt.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Billington, Jonathan.; Aalst, Wil M. P. (Language materials, printed)

Transactions on petri nets and other models of concurrency VII by: Jensen, Kurt.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)

Subjects

Software Engineering. Petri nets Algorithm Analysis and Problem Complexity. Computer Communication Networks. System Performance and Evaluation. Multitasking (Computer science) Theory of Computation. Computer Science. Programming Techniques. Mathematical Logic and Formal Languages. Computer science Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics) Simulation and Modeling. Computer Science, general. Computer multitasking Parallel processing (Electronic computers) Programming Languages, Compilers, Interpreters. Models and Principles. Computation by Abstract Devices.