Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings von Bochmann, Gregor von, Probst, David Karl

Volltext

Architecture of Distributed Computer Systems von Bochmann, Gregor v

Volltext

Realizability of Service Specifications von Al-hammouri, Mohammad F., Bochmann, Gregor von

Volltext

Conformance Testing with Respect to Partial-Order Specifications von von Bochmann, Gregor

Volltext

GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications von Mirtaheri, Seyed M., von Bochmann, Gregor, Jourdan, Guy-Vincent, Onut, Iosif Viorel

Volltext

Load balancing in peer-to-peer systems using a diffusive approach von Qiao, Ying, Bochmann, Gregor v.

Volltext

Associativity between Weak and Strict Sequencing von Bochmann, Gregor v.

Volltext

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets von Yamaguchi, Hirozumi, El-Fakih, Khaled, von Bochmann, Gregor, Higashino, Teruo

Volltext

On the realizability of collaborative services von Castejón, Humberto Nicolás, von Bochmann, Gregor, Bræk, Rolv

Volltext

Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Ne... von Yu, Shen, Wu, Jing, Zhang, James Yiming, von Bochmann, Gregor

Volltext

Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control von Wu, Jing, Zhang, James, von Bochmann, Gregor, Savoie, Michel

Volltext

Decidability of bisimulation equivalences for parallel timer processes von Čerāns, Kārlis

Volltext

Deriving protocol specifications from service specifications including parameters von Gotzhein, Reinhard, von Bochmann, Gregor

Volltext

Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits von McMillan, K. L.

Volltext

A computation method for scenario studies in WDM network planning von Yiming Zhang, James, Wu, Jing, v. Bochmann, Gregor, Savoie, Michel

Volltext

Fault Tolerant P2P RIA Crawling von Ben Hafaiedh, Khaled, von Bochmann, Gregor, Jourdan, Guy-Vincent, Onut, Iosif Viorel

Volltext

Property preserving simulations von Bensalem, S., Bouajjani, A., Loiseaux, C., Sifakis, J.

Volltext

A Scalable P2P RIA Crawling System with Partial Knowledge von Ben Hafaiedh, Khaled, von Bochmann, Gregor, Jourdan, Guy-Vincent, Onut, Iosif Viorel

Volltext

Symbolic bisimulation minimisation von Bouali, Amar, de Simone, Robert

Volltext

Realizability of Collaboration-based Service Specifications von Castejon, H.N., Braek, R., von Bochmann, G.

Volltext