Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Checking Timed Büchi Automata Emptiness Using LU-Abstractions
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Teaching Concurrency: Theory in Practice
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
An operational semantics for a calculus for wireless systems
Theoretical Computer Science
Rational time-advance DEVS (RTA-DEVS)
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Labelled transition system generation from Alvis language
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Snapshot reachability graphs for Alvis models
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Verification, performance analysis and controller synthesis for real-time systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Value-passing CCS with noisy channels
Theoretical Computer Science
Decompositional reasoning about the history of parallel processes
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
On the verification of hybrid DEVS models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
On decidability of prebisimulation for timed automata
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
A comparison of succinctly represented finite-state systems
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Fuzzy relation equations and subsystems of fuzzy transition systems
Knowledge-Based Systems
Nondeterministic automata: Equivalence, bisimulations, and uniform relations
Information Sciences: an International Journal
Simulation for lattice-valued doubly labeled transition systems
International Journal of Approximate Reasoning
Formal Description of Alvis Language with α0 System Layer
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
| Hi-index | 0.00 |