Fundamenta Informaticae - Tom Vol. 82, nr 4 (2008) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 82, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

Polskie Towarzystwo Matematyczne

Rocznik

2008

Identyfikatory

Zawartość wolumenu

Vol. 82, nr 4
- artykuł: Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation (Stehr M-O.), s. 311-340
- artykuł: Validating Behavioral Component Interfaces in Rewriting Logic (Johnsen E.B., Owe O., Torjusen A.B.), s. 341-359
- artykuł: A Basic Logic for Reasoning about Connector Reconfiguration (Clarke D.), s. 361-390
- artykuł: A Deductive Proof System for Multithreaded Java with Exceptions (Ábrahám E., de Boer F.S., de Roever W-P., Steffen M.), s. 391-463
- artykuł: Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata (Esmaeilsabzali S., Day N.A., Mavaddat F.), s. 465-512

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.