Amanote Research

Amanote Research

    RegisterSign In

Analyzing Interactions of Asynchronously Communicating Software Components

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-38592-6_1
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2013

Authors
Tevfik Bultan
Publisher

Springer Berlin Heidelberg


Related search

Compatibility Checking for Asynchronously Communicating Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Asynchronously Communicating Visibly Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2016English

Templates for Communicating Information About Software Requirements and Software Problems

2009English

Visualizing and Analyzing Software Infrastructures

IEEE Software
Software
2001English

Modelling Software Components

English

On Verification of Software Components

International Journal of Software Engineering & Applications
2012English

Agreeing Asynchronously

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2008English

A Review of Software for Analyzing Molecular Sequences

BMC Research Notes
BiochemistryMedicineGeneticsMolecular Biology
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy