Search results for "alternating bit protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder	An Elementary Derivation of the Alternating Bit Protocol.	MPC	1998	DBLP BibTeX RDF	the theory of Owicki and Gries, multibounds, faulty channels, the alternating bit protocol, multiprogramming, Program derivation
3	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
2	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
2	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
2	Andrew A. Hanish, Tharam S. Dillon	Object-oriented modelling of communication protocols for re-use.	ICCCN	1995	DBLP DOI BibTeX RDF	industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol
2	Bernard Berthomieu, Michel Diaz	Modeling and Verification of Time Dependent Systems Using Time Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	time dependent systems, explicit values, time-dependent systems, verification, formal specification, parallel programming, Petri nets, protocols, formal verification, specification, program verification, time Petri nets, concurrent systems, communication systems, alternating bit protocol
2	Nicolien J. Drost	Algebraic Formulations of Trace Theory.	CONCUR	1991	DBLP DOI BibTeX RDF	trace models, infinite processes, verification, concurrency, process algebra, alternating bit protocol, complete axiomatization
2	Simon S. Lam, A. Udaya Shankar	A Relational Notation for State Transition Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	relational notation, specifying state transition systems, refinement relations, formal specification, protocols, composition, alternating-bit protocol
1	Tim Lewis, Russell J. Haines	Formal verification to enhance evolution of protocols.	GECCO	2009	DBLP DOI BibTeX RDF	formal methods, petri-nets, protocols, genetic programming
1	Suzana Andova, Sonja Georgievska	On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Jean-Pierre Queille, Joseph Sifakis	Specification and Verification of Conurrent Systems in Cesar.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu, Dorel Lucanu	A specification language for coordinated objects.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	coordination, temporal logic, process algebra, objects, bisimulation, classes
1	Franco Cicirelli, Angelo Furfaro, Libero Nigro	An Approach to Protocol Modeling and Validation.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
1	Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse	A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.	CONCUR	2006	DBLP DOI BibTeX RDF
1	Wan Fokkink, Jun Pang, Jaco van de Pol	Cones and foci: A mechanical framework for protocol verification.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Process algebra, PVS, Protocol verification, Branching bisimulation
1	Mihai Danes, Dorel Lucanu, Gabriel Ciobanu	Specification of Coordinated Objects and Verification of Their Temporal Properties.	SYNASC	2005	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Ali Ebnenasir	Adding Fault-Tolerance Using Pre-synthesized Components.	EDCC	2005	DBLP DOI BibTeX RDF	Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
1	Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong	Mutation Testing Applied to Validate SDL Specifications.	TestCom	2004	DBLP DOI BibTeX RDF	SDL, Mutation Testing, Specification Testing
1	Joseph A. Goguen, Kai Lin	Behavioral Verification of Distributed Concurrent Systems with BOBJ.	QSIC	2003	DBLP DOI BibTeX RDF
1	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
1	Martin Große-Rhode	Compositional Comparison of Formal Software Specifications Using Transformation Systems.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Formal specification, Integration, Consistency, Compositionality
1	Antti Puhakka	Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities.	ICECCS	2001	DBLP DOI BibTeX RDF	com-positionality, arbitrary channel capacities, verification, protocols, parallel systems
1	Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza	Mutation Testing Applied to Estelle Specifications. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
1	Mohamed Jmaiel	A Unified Algebraic Framework for Specifying Communication Protocols. (PDF / PS)	ICFEM	2000	DBLP DOI BibTeX RDF	Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification
1	Hui Jiang, Dong Lin, Xiren Xie	Embedding UML and Type Theory to Formalize the Process of Requirement Engineering.	TOOLS	2000	DBLP DOI BibTeX RDF
1	Peter J. B. King, Rob Pooley	Derivation of Petri Net Performance Models from UML Specifications of Communications Software.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
1	Martin Große-Rhode	A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.	IFM	1999	DBLP BibTeX RDF
1	Christel Baier, Bettina Engelen	Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.	ARTS	1999	DBLP DOI BibTeX RDF
1	Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers	Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.	CAV	1999	DBLP DOI BibTeX RDF
1	Akira Mori, Kokichi Futatsugi	Verifying Behavioural Specifications in CafeOBJ Environment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Daniel Hirschkoff	On the Benefits of Using the Up-To Techniques for Bisimulation Verification.	TACAS	1999	DBLP DOI BibTeX RDF
1	L. J. Steggles, Piotr Kosiuczenko	A timed rewriting logic semantics for SDL: A case study of alternating bit protocol.	Electr. Notes Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
1	Anthony J. Cowling, M. C. Nike	Using data flow algebra to analyse the alternating bit protocol.	Software Engineering for Parallel and Distributed Systems	1996	DBLP BibTeX RDF
1	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Verification of Communication Protocols Using Data Flow Analysis.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
1	Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno	A New Model with Time Constraints for Conformance Testing of Communication Protocols.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
1	Eduardo Giménez	An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol.	TYPES	1995	DBLP DOI BibTeX RDF
1	Twan Basten, Marc Voorhoeve	An Algebraic Semantics for Hierarchical P/T Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
1	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Bengt Jonsson	Undecidable Verification Problems for Programs with Unreliable Channels.	ICALP	1994	DBLP DOI BibTeX RDF
1	Manfred Broy	Functional Specification of Time-Sensitive Communicating Systems.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	functional system models, real-time systems, specification
1	Jan A. Bergstra, Inge Bethke, Alban Ponse	Process Algebra with Combinators.	CSL	1993	DBLP DOI BibTeX RDF	1991 Mathematics Subject Classification 69C20, 69M10, 03B15, 03B40
1	Henk Schepers, Jozef Hooman	Trace-Based Compositional Reasoning about Fault Tolerant Systems.	PARLE	1993	DBLP DOI BibTeX RDF	Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
1	Joseph Y. Halpern, Lenore D. Zuck	A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.	J. ACM	1992	DBLP DOI BibTeX RDF	reasoning about knowledge
1	Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis	Verification with Real-Time COSPAN.	CAV	1992	DBLP DOI BibTeX RDF
1	Jim Davies, Steve Schneider	Using CSP to Verify a Timed Protocol over a Fair Medium.	CONCUR	1992	DBLP DOI BibTeX RDF
1	Henrikas Pranevitchius	Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
1	C. Geldrez, Stan Matwin, Johanne Morin, Robert L. Probert	An Application of Explanation-Based Learning to Protocol Conformance Testing.	IEEE Expert	1990	DBLP DOI BibTeX RDF
1	Yehuda Afek, Geoffrey M. Brown	Self-Stabilization of the Alternating-Bit Protocol.	SRDS	1989	DBLP BibTeX RDF
1	Nancy A. Lynch	Multivalued Possibilities Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	abstraction mapping, possibilities mapping, history variables, distributed algorithms, mapping, garbage collection, transaction processing, safety property, time bounds, Alternating Bit Protocol
1	Bernd J. Krämer	Specifying concurrent objects.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	Manfred Broy	Functional Specification of Time Sensitive Communicating Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF
1	Simon S. Lam, A. Udaya Shankar	Refinement and Projection of Relational Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, protocols, Specification, temporal logic, refinement
1	Zamir Bavel, Jerzy W. Grzymala-Busse, Yen-Teh Hsia	New communication protocols from old.	Computer Communication Review	1987	DBLP DOI BibTeX RDF
1	N. Liu, M. T. Liu	Conformity analysis for communication protocols.	SIGCOMM	1986	DBLP DOI BibTeX RDF	CSP, CSP, CSP
1	Mohamed G. Gouda, Chung-Kuo Chang	Proving Liveness for Networks of Communicating Finite State Machines.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Jan Willem Klop	Verification of an alternating bit protocol by means of process algebra.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
1	Pamela Zave	A Distributed Alternative to Finite-State-Machine Specifications.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
1	Ana R. Cavalli	A method of automatic proof for the specification and verification of protocols.	Computer Communication Review	1984	DBLP DOI BibTeX RDF	Automatic proofs, Protocols, Specifications, Temporal logic, Safety, Queue, Resolution, Liveness
1	Bernd J. Krämer	Stepwise construction of non-sequential software systems using a net-based specification language.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
1	Yechiam Yemini, James F. Kurose	Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?.	PSTV	1982	DBLP BibTeX RDF
1	Michael K. Molloy	Performance Analysis Using Stochastic Petri Nets.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	Petri nets with time, Markovian systems, performance analysis, Petri nets, Alternating bit protocol
1	Horst Müller	Correctness Proof for the Alternating Bit Protocol by Assertion Systems.	Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets	1981	DBLP BibTeX RDF