BibSonomy :: user :: snowball ::

tag user group author concept BibTeX key search:all search:snowball

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password:	login · register

bookmarks

bookmarks per page: 5 10 20 50 100

publications

(1)

<< < 1 > >>

Remarks on blind and partially blind one-way multicounter machines
S. A. Greibach Theoretical Computer Science7(3):311--324December1978.
to Petri automata closed semiAFL; multicounter set; net partially arithmetic; nondeterministic digital least intersection blind theory; languages; formal Dyck quasirealtime machines; by snowball and 1 other person on Mar 9, 2006, 8:15 AM
BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

closed as tag from all users

closed as concept from snowball

closed as concept from all users

related tags
- + Petri
- + set;
- + arithmetic;
- + theory;
- + automata
- + blind
- + digital
- + formal
- + intersection
- + languages;
relations
tags
- $k$-counter
- (Computer
- (OSEFA);
- (cnc)
- (computer
- (computer);
- (dsbb)
- (programming
- (uwe)
- --
- 1;
- 72,
- 9076
- ADA
- Algorithms;
- Animation;
- Architecture,
- B(PN)$^2$,
- BCPL;
- Benchmarking,
- Browsing
- C
- C,
- CCL;
- CCS
- CHAM,
- CM(k);
- CRPITVol10
- CS-2,
- Class
- Collective
- Communication,
- Component
- Computational
- Computer
- Computers,
- Concurrent;
- Conditional
- Configuration
- Conic
- ConicDraw
- Control
- Critical
- Data
- Design
- Distributed
- Domain
- Dyck
- ECOOP;
- Eiffel;
- Empirical
- Enumerated
- Error
- Euclid;
- Experimentation,
- FFT,
- Faceted
- Finite
- Fortran
- Full-reuse
- GP,
- GQM,
- Goal/Question/Metric
- Hybrid
- IBM
- Industrial
- Information
- Interface;
- Interfaces
- Iterative
- Keyword
- L3Ref,
- LISP
- Loading;
- Log
- M-nets,
- MPI
- MPI,
- MPI-2;
- MPICH;
- Meiko
- Message
- Model,
- Multicast,
- Network
- Numerical
- OBM94-09
- OOSC01
- Object
- Object-oriented
- Open
- P,
- PARKBENCH
- PASCAL;
- PEP,
- POWERparallel
- PRAM,
- PROGLANG,
- PVM
- Parallel
- Passing,
- Patient
- Personal
- Petri
- Portable
- Program
- Programming
- Proteus
- QoS,
- Queueing
- Quick
- Report/committee,
- Reusability,
- Reuse
- SDL,
- Safety
- Scalable
- Scatter,
- Sequential;
- Small
- Software
- Standards
- Structural
- Synchronization;
- System
- Systems
- TR
- TR72,
- Turing
- Type
- Typeless
- Unix
- User
- Verification.
- Virtual
- Workstations,
- X
- Xlib,
- Xwindow,
- abstract
- abstraction;
- aided
- algorithms,
- algorithms;
- all-to-all
- allocation;
- analysis,
- analysis;
- application
- applications;
- architecture
- architecture,
- architecture;
- architectures,
- arithmetic;
- assertions;
- automata
- automata,
- automata-theory,automata-history
- automaton;
- auxiliary
- benchmarks
- binder
- black
- blind
- book
- book,
- box
- broadcast
- broadcast;
- by
- c
- cbse7
- checking;
- chrono-topology;
- classification,
- closed
- collective
- collop
- collop,
- communication
- compendium
- compilation
- compilation;
- compilers,
- complexity
- complexity;
- component
- component,
- component-oriented;
- components
- composition
- comprehensibility;
- comprehension,
- computation;
- computational
- computer
- computers
- computers;
- computing
- computing;
- concatenate;
- concurrency,
- concurrent;
- conditional
- construction
- construction;
- continuity
- continuous
- contract;
- control
- control;
- cose
- counter
- counter-automata;
- counters;
- criteria;
- cryptography,
- csp
- data
- databases;
- decomposition;
- dependencies;
- dependency;
- description;
- design
- design,
- design-patterns
- design;
- designer;
- details;
- detection;
- development
- development;
- developments;
- digital
- directions;
- distributed
- distribution;
- domain
- encapsulation;
- engineering
- engineering;
- enhancement
- environment
- environment;
- environments;
- equivalence
- error
- etc
- evaluation,
- evaluation;
- evolution;
- execution;
- famoos
- fix
- flexibility;
- flow,
- fnrs95
- fnrs97
- focbs97
- for
- forecasting;
- formal
- framework
- framework;
- free;
- functional
- future
- gather;
- glue
- goal;
- graphic
- graphics,
- graphs
- handbooks,
- hardware
- high
- high-performance
- implementation
- implementation;
- imported
- indexing,
- indices
- interface
- interface;
- interfaces
- international
- intersection
- irreversible
- jb04
- jb94
- jb95
- jb97
- jpict
- kollop
- kollop,
- language)
- language);
- language;
- languages
- languages,
- languages;
- law;
- least
- legality
- level
- libraries,
- libraries;
- library
- library;
- limit
- linguistics;
- loggp,
- logic;
- logp
- machine
- machine;
- machines;
- maintenance,
- management
- management;
- manuals,
- manufacturing
- manufacturing;
- massively
- measurement;
- memory;
- message
- message;
- methods,
- metrics,
- mobility
- model
- model,
- model;
- modelling;
- models,
- modularization;
- modules;
- monitoring
- multicast
- multicounter
- net
- nets,
- nets;
- nondeterministic
- numerical
- object
- object-oriented
- observation;
- of
- offline;
- olit
- olit-obc
- olit-reuse
- online;
- oopsla93
- operating
- operations;
- oriented
- osg
- osg-ftp
- paradigm,
- paralg,
- parallel
- partial,
- partially
- passing
- passing;
- pattern,
- patterns
- patterns;
- pcalc
- performance
- physics;
- point-to-point
- polynomial
- popl91
- portability;
- portable
- precision
- problem
- problems;
- process
- process,
- processes,
- processing
- processing;
- processors,
- program
- programming
- programming;
- programs,
- project
- public
- quasirealtime
- racl
- realistic
- reduce;
- refactoring
- relationships;
- reliability
- reliability;
- repositories;
- research
- retrieval
- retrieval,
- reuse,
- reversible
- robots;
- rtao
- sa
- scalable;
- scatter;
- scg-coord
- scg-pub
- scglib
- sclit
- scripting
- scripting,
- searching,
- section:
- security
- security;
- semantics
- semantics;
- semiAFL;
- sequential;
- set;
- shift;
- similarity
- simulation;
- snf04
- software
- sort,
- special
- specialists;
- specific
- specification;
- split-C,
- standard
- standard;
- standardization;
- standards;
- storage
- storage,
- structure;
- structured
- structures;
- support
- swarch
- synchronize;
- synthesis;
- system
- system;
- systems
- systems,
- systems;
- talk,
- techniques;
- technological
- technology
- testing;
- text,
- theory
- theory;
- time
- tool
- tools;
- topology
- topology;
- tunable
- two-counter
- type
- types
- types;
- typestate
- unified
- universality
- variable
- vendors;
- verification
- verification;
- very
- virtual
- visprog
- vo93
- window,
- work
- workstation;
- wright
- writers;
- zz0297
- zz0700
- {Fortran}