Sortiert nach
Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.262-282
2015
Link zum Volltext
Foundations of Security Analysis and Design VI, p.125-151
Link zum Volltext
CONCUR '96: Concurrency Theory, 2005, p.315-330
2005
Link zum Volltext
Concurrency, Graphs and Models, p.403-408
Link zum Volltext
Formal Aspects in Security and Trust, p.210-225
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.35-76
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.77-94
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.1-14
2017
Link zum Volltext
Mathematical Foundations of Computer Science 1991, 2005, p.121-130
2005
Link zum Volltext
CONCUR'98 Concurrency Theory, 1998, p.405-422
1998
Link zum Volltext
Foundations of Security Analysis and Design II, p.1-43
Link zum Volltext
Object-Based Models and Languages for Concurrent Systems, 2005, p.49-65
2005
Link zum Volltext
Coordination Languages and Models, 2005, p.205-219
2005
Link zum Volltext
Mathematical Foundations of Computer Science 1995, 2005, p.444-453
2005
Link zum Volltext
Algebraic Methodology and Software Technology, 2005, p.306-320
2005
Link zum Volltext
Foundations of Security Analysis and Design, 2001, p.331-396
2001
Link zum Volltext
TAPSOFT '89, 1989, p.162-177
1989
Link zum Volltext
Advances in Petri Nets 1988, 2005, p.85-105
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Operational Semantic
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Technology
- Process Algebra
- Parallel Composition
- Security Property
- Sequential Process
- Software Engineering
- Applied Sciences
- Behavioral Equivalence
- Computer Science; Control Theory; Systems
- Equivalence Check
- Exact Sciences And Technology
- Mathematical Foundations
- Parallel Operator
- Regular Language
- Semantic Model