Connexions

Sections
You are here: Home » Content » Concurrent Programming and Verification: Outline

About: Concurrent Programming and Verification: Outline

Module by: Ian Barland, John Greiner, Moshe Vardi. E-mail the authors

View the content: Concurrent Programming and Verification: Outline

Metadata

Name: Concurrent Programming and Verification: Outline
ID: m12311
Language: English (en)
Subject: Mathematics and Statistics
Keywords: Concurrency, Logic, Temporal Logic
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Moshe Vardi (vardi@cs.rice.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Moshe Vardi (vardi@cs.rice.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Latest version: 1.12 (history)
First publication date: Jul 19, 2004 10:58 am -0500
Last revision to module: Apr 7, 2007 4:45 pm -0500

Downloads

PDF: m12311_1.12.pdf PDF file, for viewing content offline and printing. Learn more.
EPUB: m12311_1.12.epub Electronic publication file, for viewing in handheld devices. Learn more.
XML: m12311_1.12.cnxml XML that defines the structure and contents of the module, minus any included media files. Can be reimported in the editing interface. Learn more.
Source Export ZIP: m12311_1.12.zip ZIP containing the module XML plus any included media files. Can be reimported in the editing interface. Learn more.
Offline ZIP: m12311_1.12_offline.zip An offline HTML copy of the content. Also includes XML, included media files, and other support files. Learn more.

Version History

Version: 1.12 Apr 7, 2007 4:45 pm -0500 by Ian Barland
Changes: 
Add links to jspin, spinspider
Version: 1.11 Oct 6, 2005 3:37 pm -0500 by John Greiner
Changes: 
minor edit
Version: 1.10 Aug 10, 2005 2:17 pm -0500 by Ian Barland
Changes: 
Fixed links to homework modules.
Version: 1.9 Jul 26, 2005 6:14 pm -0500 by Ian Barland
Changes: 
Updated text.
Version: 1.8 Jul 26, 2005 5:53 pm -0500 by Ian Barland
Changes: 
role update
Version: 1.7 Jan 20, 2005 1:54 pm -0600 by Ian Barland
Changes: 
(no changes)
Version: 1.6 Aug 11, 2004 9:34 am -0500 by Bri
Changes: 
presentation
Version: 1.5 Jul 29, 2004 10:34 am -0500 by Bri
Changes: 
rename
Version: 1.4 Jul 26, 2004 4:28 pm -0500 by Bri
Changes: 
links
Version: 1.3 Jul 19, 2004 2:59 pm -0500 by Bri
Changes: 
none
Version: 1.2 Jul 19, 2004 11:53 am -0500 by Bri
Changes: 
links
Version: 1.1 Jul 19, 2004 11:18 am -0500 by Bri
Changes: 
new sections

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include

  • the authors' names: Ian Barland, John Greiner, Moshe Vardi
  • the title of the work: Concurrent Programming and Verification: Outline
  • the Connexions URL where the work can be found: http://cnx.org/content/m12311/1.12/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Barland, I.; Greiner, J.; Vardi, M. Concurrent Programming and Verification: Outline, Connexions Web site. http://cnx.org/content/m12311/1.12/, Apr 7, 2007.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Vardi M. Concurrent Programming and Verification: Outline [Connexions Web site]. April 7, 2007. Available at: http://cnx.org/content/m12311/1.12/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., & Vardi, M. (2007, April 7). Concurrent Programming and Verification: Outline. Retrieved from the Connexions Web site: http://cnx.org/content/m12311/1.12/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, and Moshe Vardi. "Concurrent Programming and Verification: Outline." Connexions. April 7, 2007. http://cnx.org/content/m12311/1.12/.

Chicago Manual of Style (Note):

Ian Barland, John Greiner, and Moshe Vardi, "Concurrent Programming and Verification: Outline," Connexions, April 7, 2007, http://cnx.org/content/m12311/1.12/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I., Greiner, J., & Vardi, M. 2007. Concurrent Programming and Verification: Outline. Connexions, April 7, 2007. http://cnx.org/content/m12311/1.12/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, and Moshe Vardi. Concurrent Programming and Verification: Outline. Connexions. 7 Apr. 2007 <http://cnx.org/content/m12311/1.12/>.