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
A Definition Scheme for Quantitative Bisimulation
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.63-78
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Rooted branching bisimulation as a congruence for probabilistic transition systems
Electronic proceedings in theoretical computer science, 2015-09, Vol.194 (Proc. QAPL 2015), p.79-94
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards a Feature mu-Calculus Targeting SPL Verification
Electronic proceedings in theoretical computer science, 2016-03, Vol.206 (Proc. FMSPLE 2016), p.61-75
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Coherent branching feature bisimulation
Electronic proceedings in theoretical computer science, 2015-04, Vol.182 (Proc. FMSPLE 2015), p.14-30
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Decoupled execution of synchronous coordination models via behavioural automata
Electronic proceedings in theoretical computer science, 2011-07, Vol.58 (Proc. FOCLASA 2011), p.65-79
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Cancellation Law for Probabilistic Processes
Electronic proceedings in theoretical computer science, 2023-09, Vol.387, p.42-58
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards reduction of Paradigm coordination models
Electronic proceedings in theoretical computer science, 2011-08, Vol.60 (Proc. PACO 2011), p.1-18
2011
Link zum Volltext
Verfügbarkeit prüfen
1 – 7 von 7
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieLogical Methods In Computer Science
Zeitschrift / SerieElectronic Proceedings In Theoretical Computer Science, Eptcs
Suchergebnisse filtern
Filter anzeigen