Sortiert nach
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Theoretical computer science, 2022-01, Vol.897, p.83-113
2022
Link zum Volltext
Information and computation, 2020-12, Vol.275, p.104603, Article 104603
2020
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.80-99
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-04, Vol.96, p.65-80
2018
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.153-175
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-02, Vol.51 (Proc. SecCo 2010), p.16-33
2011
Link zum Volltext
Application and Theory of Petri Nets and Concurrency, 2020, p.131-152
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.76-90
2010
Link zum Volltext
Mathematical structures in computer science, 2009-12, Vol.19 (6), p.1065-1090
2009
Link zum Volltext
Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.262-282
2015
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.463-480
Link zum Volltext
Theoretical computer science, 2002-06, Vol.282 (1), p.5-32
2002
Link zum Volltext
Mathematical structures in computer science, 2009-12, Vol.19 (6), p.1161-1189
2009
Link zum Volltext
Applications and Theory of Petri Nets 2004, 2004, p.1-16
2004
Link zum Volltext
Automata, Languages and Programming, 2000, p.354-372
2000
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.15-34
2017
Link zum Volltext
Information and computation, 2000-01, Vol.156 (1-2), p.90-121
2000
Link zum Volltext
Formal Aspects in Security and Trust, p.210-225
Link zum Volltext
Theoretical computer science, 1998-02, Vol.192 (2), p.167-199
1998
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.95-119
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.273-285
2017
Link zum Volltext
Process Algebras for Petri Nets, 2017, p.35-76
2017
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Exact Sciences And Technology
- Software Engineering
- Applied Sciences
- Computer Science, Software Engineering
- Computer Science; Control Theory; Systems
- Mathematical Foundations
- Theoretical Computing
- Label Transition System
- Mathematics
- Operational Semantic
- Parallel Composition
- Process Algebra
- Security Property
- Physical Sciences
- Computer Science, Information Systems
- Cryptographic Protocol
Kollektion
Zeitschrift / Serie
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Electronic Proceedings In Theoretical Computer Science
- Mathematical Structures In Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Logical And Algebraic Methods In Programming
- Logical Methods In Computer Science
- Performance Evaluation
- The Journal Of Logic Programming