Languages
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.
Simulation and Modeling.
System Performance and Evaluation.
Multitasking (Computer science)
Theory of Computation.
Computer Science.
Computer Science, general.
Programming Techniques.
Computer multitasking
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Mathematical Logic and Formal Languages.
Computer science
Logics and Meanings of Programs.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)