Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


37540 Treffer


× Universität Koblenz
× Universität Trier
× Hochschule Kaiserslautern
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen


  • Jürjens, Jan
  • Secure Information Flow for Concurrent Processes
  • Catuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409 (Lecture Notes in Computer Science)