Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A study on team bisimulation and H-team bisimulation for BPP nets
Theoretical computer science, 2022-01, Vol.897, p.83-113
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Team equivalences for finite-state machines with silent moves
Information and computation, 2020-12, Vol.275, p.104603, Article 104603
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Decidability of Non Interference over Unbounded Petri Nets
Electronic proceedings in theoretical computer science, 2011-02, Vol.51 (Proc. SecCo 2010), p.16-33
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Process Calculus for Expressing Finite Place/Transition Petri Nets
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.76-90
2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The theory of interactive generalized semi-Markov processes
Theoretical computer science, 2002-06, Vol.282 (1), p.5-32
2002
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Expressiveness of Linda Coordination Primitives
Information and computation, 2000-01, Vol.156 (1-2), p.90-121
2000
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A process algebraic view of Linda coordination primitives
Theoretical computer science, 1998-02, Vol.192 (2), p.167-199
1998
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A comparison of three authentication properties
Theoretical computer science, 2003-01, Vol.291 (3), p.285-327
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Comparing three semantics for Linda-like languages
Theoretical computer science, 2000-06, Vol.240 (1), p.49-90
2000
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A theory of processes with durational actions
Theoretical computer science, 1995-03, Vol.140 (1), p.73-94
1995
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Theoretical aspects of coordination languages
Theoretical computer science, 1998-02, Vol.192 (2), p.163-165
1998
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards Information Flow Properties for Distributed Systems
Electronic notes in theoretical computer science, 2009-04, Vol.236, p.65-84
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Comparing Syntactic and Semantic Action Refinement
Information and computation, 1996-03, Vol.125 (2), p.118-143
1996
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Formalization of Credit and Responsibility Within the GNDC Schema
Electronic notes in theoretical computer science, 2006-05, Vol.157 (3), p.61-78
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A2CCS: atomic actions for CCS
Theoretical computer science, 1990-05, Vol.72 (2-3), p.203-223
1990
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Electronic notes in theoretical computer science, 2005-05, Vol.128 (5), p.39-53
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Distributed Logic Programming
The journal of logic programming, 1993-04, Vol.15 (4), p.295-335
1993
Link zum Volltext
Verfügbarkeit prüfen
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
KollektionSpringer Books
ThemaSoftware
KollektionEZB Electronic Journals Library
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen