csp for java (jcsp) 1_0-rc7 api specification.mht

来自「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,」· MHT 代码 · 共 1,530 行 · 第 1/5 页

      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Or.html"=20
      target=3DclassFrame>Or</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/OrInt.html"=20
      target=3DclassFrame>OrInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/OverFlowingBuffer.html"=20
      target=3DclassFrame>OverFlowingBuffer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/OverFlowingBufferInt.html"=20
      target=3DclassFrame>OverFlowingBufferInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/OverWriteOldestBuffer.html"=20
      target=3DclassFrame>OverWriteOldestBuffer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/OverWriteOldestBufferInt.html"=20
      target=3DclassFrame>OverWriteOldestBufferInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/OverWritingBuffer.html"=20
      target=3DclassFrame>OverWritingBuffer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/OverWritingBufferInt.html"=20
      target=3DclassFrame>OverWritingBufferInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/Paintable.html"=20
      target=3DclassFrame><I>Paintable</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Pairs.html"=20
      target=3DclassFrame>Pairs</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/PairsInt.html"=20
      target=3DclassFrame>PairsInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Parallel.html"=20
      target=3DclassFrame>Parallel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Paraplex.html"=20
      target=3DclassFrame>Paraplex</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/ParaplexInt.html"=20
      target=3DclassFrame>ParaplexInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Plex.html"=20
      target=3DclassFrame>Plex</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Plex2.html"=20
      target=3DclassFrame>Plex2</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/Plex2Int.html"=20
      target=3DclassFrame>Plex2Int</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/PlexInt.html"=20
      target=3DclassFrame>PlexInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Plus.html"=20
      target=3DclassFrame>Plus</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/PlusInt.html"=20
      target=3DclassFrame>PlusInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Prefix.html"=20
      target=3DclassFrame>Prefix</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/PrefixInt.html"=20
      target=3DclassFrame>PrefixInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Printer.html"=20
      target=3DclassFrame>Printer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/PrinterInt.html"=20
      target=3DclassFrame>PrinterInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/PriParallel.html"=20
      target=3DclassFrame>PriParallel</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ProcessInterruptedError.html"=20
      target=3DclassFrame>ProcessInterruptedError</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ProcessManager.html"=20
      target=3DclassFrame>ProcessManager</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/ProcessNetwork.html"=20
      target=3DclassFrame>ProcessNetwork</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ProcessRead.html"=20
      target=3DclassFrame>ProcessRead</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/ProcessReadInt.html"=20
      target=3DclassFrame>ProcessReadInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ProcessWrite.html"=20
      target=3DclassFrame>ProcessWrite</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/ProcessWriteInt.html"=20
      target=3DclassFrame>ProcessWriteInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Sequence.html"=20
      target=3DclassFrame>Sequence</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Sequential.html"=20
      target=3DclassFrame>Sequential</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Sign.html"=20
      target=3DclassFrame>Sign</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/SignInt.html"=20
      target=3DclassFrame>SignInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Skip.html"=20
      target=3DclassFrame>Skip</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Skipper.html"=20
      target=3DclassFrame>Skipper</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/SpuriousLog.html"=20
      target=3DclassFrame>SpuriousLog</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Squares.html"=20
      target=3DclassFrame>Squares</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/SquaresInt.html"=20
      target=3DclassFrame>SquaresInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/Stop.html"=20
      target=3DclassFrame>Stop</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Substitute.html"=20
      target=3DclassFrame>Substitute</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/SubstituteInt.html"=20
      target=3DclassFrame>SubstituteInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Successor.html"=20
      target=3DclassFrame>Successor</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/SuccessorInt.html"=20
      target=3DclassFrame>SuccessorInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/TaggedProtocol.html"=20
      target=3DclassFrame>TaggedProtocol</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Tail.html"=20
      target=3DclassFrame>Tail</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/TailInt.html"=20
      target=3DclassFrame>TailInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Times.html"=20
      target=3DclassFrame>Times</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/TimesInt.html"=20
      target=3DclassFrame>TimesInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/Xor.html"=20
      target=3DclassFrame>Xor</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/XorInt.html"=20
      target=3DclassFrame>XorInt</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ZeroBuffer.html"=20
      target=3DclassFrame>ZeroBuffer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/ZeroBufferInt.html"=20
      target=3DclassFrame>ZeroBufferInt</A>=20
<BR></FONT></TD></TR></TBODY></TABLE></BODY></HTML>

------=_NextPart_000_003D_01C7B034.BF1B3DD0
Content-Type: text/css;
	charset="gb2312"
Content-Transfer-Encoding: 7bit
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/stylesheet.css

BODY {
	BACKGROUND-COLOR: #ffffff
}
.TableHeadingColor {
	BACKGROUND: #ccccff
}
.TableSubHeadingColor {
	BACKGROUND: #eeeeff
}
.TableRowColor {
	BACKGROUND: #ffffff
}
.FrameTitleFont {
	FONT-FAMILY: normal
}
.FrameHeadingFont {
	FONT-FAMILY: normal
}
.FrameItemFont {
	FONT-FAMILY: normal
}
.NavBarCell1 {
	BACKGROUND-COLOR: #eeeeff
}
.NavBarCell1Rev {
	BACKGROUND-COLOR: #00008b
}
.NavBarFont1 {
	COLOR: #000000; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.NavBarFont1Rev {
	COLOR: #ffffff; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.NavBarCell2 {
	FONT-FAMILY: Arial, Helvetica, sans-serif; BACKGROUND-COLOR: #ffffff
}
.NavBarCell3 {
	FONT-FAMILY: Arial, Helvetica, sans-serif; BACKGROUND-COLOR: #ffffff
}

------=_NextPart_000_003D_01C7B034.BF1B3DD0
Content-Type: text/html;
	charset="gb2312"
Content-Transfer-Encoding: quoted-printable
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/overview-summary.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" =
"http://www.w3c.org/TR/1999/REC-html401-19991224/loose.dtd">
<!--NewPage--><HTML><HEAD><TITLE>CSP for Java (JCSP) 1.0-rc7 API =
Specification: Overview</TITLE>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dgb2312"><!-- Generated by javadoc on Tue Dec 19 22:47:44 GMT =
2006 --><LINK=20
title=3DStyle=20
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
stylesheet.css"=20
type=3Dtext/css rel=3Dstylesheet>
<META content=3D"MSHTML 6.00.5730.11" name=3DGENERATOR></HEAD>
<BODY bgColor=3Dwhite><!-- =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D START OF =
NAVBAR =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --><A=20
name=3Dnavbar_top><!-- --></A>
<TABLE cellSpacing=3D0 cellPadding=3D1 width=3D"100%" border=3D0>
  <TBODY>
  <TR>
    <TD class=3DNavBarCell1 bgColor=3D#eeeeff colSpan=3D2><A=20
      name=3Dnavbar_top_firstrow><!-- --></A>
      <TABLE cellSpacing=3D3 cellPadding=3D0 border=3D0>
        <TBODY>
        <TR vAlign=3Dtop align=3Dmiddle>
          <TD class=3DNavBarCell1Rev bgColor=3D#ffffff>&nbsp;<FONT=20
            class=3DNavBarFont1Rev><B>Overview</B></FONT>&nbsp;</TD>
          <TD class=3DNavBarCell1 bgColor=3D#eeeeff><FONT=20
            class=3DNavBarFont1>Package</FONT>&nbsp;</TD>
          <TD class=3DNavBarCell1 bgColor=3D#eeeeff><FONT=20
            class=3DNavBarFont1>Class</FONT>&nbsp;</TD>
          <TD class=3DNavBarCell1 bgColor=3D#eeeeff><A=20
            =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=